A structural operational semantics for interactions with a look at loops

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Message Sequence Charts & Sequence Diagrams are graphical models that represent the behavior of distributed and concurrent systems via the scheduling of discrete and local emission…