Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : iSend/iRecv independent with Wait but not with WaitTimeout
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 3 Apr 2013 09:34:47 +0000 (11:34 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 3 Apr 2013 09:34:47 +0000 (11:34 +0200)
commite42c0a20b488f6fa0f3bb084bb4429bf9572bea6
tree32834265a59f04018cab58f12d7d6d9693009fd9
parenteed2329ef0f23c6c80c8268b6c52f212d1aa47b4
model-checker : iSend/iRecv independent with Wait but not with WaitTimeout
src/mc/mc_request.c