Operations
Operations on logical clocks:
- C.adjust(L,T) adjust the local time L displayed by clock C to T. (can be gradually, over PER time units, or immediate). (PER = clock synchronization period).
- C.read returns the current value of clock c.
Operations on timers:
- TP.set(T) reset the timer to timeout in T units.
Message operations:
- recv(m,l) receive a message m at link l.
- bcast(m) send a message m on all links.
- forward(m,l) send message that received at l to all other links.