3 papers
cs.FL2021
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…
cs.LO2020
A small-step approach to multi-trace checking against interactions
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for inte…
cs.SE2019
Revisiting Semantics of Interactions for Trace Validity Analysis
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contra…