17 citations · 77 across the 18 of their papers we have counts for
1 paper · 2 filters
Alain Finkel, Etienne Lozes
A system of communicating finite state machines is synchronizable if its send trace semantics, i.e.the set of sequences of sendings it can perform, is the same when its communicati…