most citedComparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.FL2022★ 4 cited

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

Felix Stutz, Damien Zufferey

Communicating state machines provide a formal foundation for distributed computation. Unfortunately, they are Turing-complete and, thus, challenging to analyse. In this paper, we c…