Versions Compared

Old Version 2

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 3

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

In this example we will look at Paxos consensus, focusing on specifying the Scout protocol.

Image Modified

Step 1 - We write the specification in EventML

...