...
In this example we will look at Paxos consensus, focusing on specifying the Scout protocol.
Step 1 - We write the Scout specification in EventML
...
...
In this example we will look at Paxos consensus, focusing on specifying the Scout protocol.
...