1. A Calculus of Communicating Systems;Milner,1980
2. Global types for open systems;Barbanera,2018
3. Connecting open systems of communicating finite state machines;Barbanera;J. Log. Algebraic Methods Program.,2019
4. On communicating finite-state machines;Brand;J. ACM,1983
5. On composing communicating systems;Barbanera,2022