29 citations · 54 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.FL2022★ 1 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…