5 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Benedikt Bollig, Marie Fortin, Paul Gastin
Communicating finite-state machines are a fundamental, well-studied model of finite-state processes that communicate via unbounded first-in first-out channels. We show that they ar…