Events
Definite event: An event that must occur once it is scheduled; e.g. job departure from FIFO server.
- hold statement: suspend process for a fixed interval
receive (Job j1) { hold (tc); send Job {mean} to next ;
}
Conditional event: An event that is not definite; eg: retransmission of a message.
- receive statement with timeout option
receive (ACK a1) {}
or timeout in (rto) {< retransmit>}