Operational semantics

This is described in the appendix of the following paper:

From Clarity to Efficiency for Distributed Algorithms (arXiv 2014, revised 2017, to appear in TOPLAS)

The semantics is an improved version of the semantics included in the appendix of the OOPSLA 2012 submission but not fit in the final version.