![](/img/cover-not-exists.png)
Connecting open systems of communicating finite state machines
Barbanera, Franco, de'Liguoro, Ugo, Hennicker, RolfVolume:
109
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.07.004
Date:
December, 2019
File:
PDF, 770 KB
2019