Pmaude code

Example 1: 2 clocks

Example 2: Knights

Example 3: Client-Server example

Modelling Actors with time delays, failures and message drops