1 citations · 1 across the 5 of their papers we have counts for
1 paper · 2 filters
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…