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…