Title of article :
Designing a multiway synchronization protocol
Author/Authors :
Joachim Parrow، نويسنده , , Peter Sjodin، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Keywords :
Design methodology , Correctness proof , Synchronisation protocol
Journal title :
Computer Communications
Journal title :
Computer Communications