Content deleted Content added
Line 3:
==Assumptions==
* The system is synchronous and uses timeout for identifying process failure.
*
* Message delivery between processes should be reliable.
* Prior information about other process id's must be known.
==Message types==
|