Operational semantics

This is described in the appendix of the following paper:

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

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.