Publisher
Springer International Publishing
Reference35 articles.
1. Barbanera, F., de’Liguoro, U., Hennicker, R.: Global types for open systems. In: Bartoletti, M., Knight, S. (eds.) ICE, EPTCS, vol. 279, pp. 4–20 (2018)
2. Barbanera, F., de’Liguoro, U., Hennicker, R.: Connecting open systems of communicating finite state machines. J. Logic Algebr. Methods Program. 109 (2019). https://doi.org/10.1016/j.jlamp.2019.07.004. Extended version of [1]
3. Barbanera, F., Dezani-Ciancaglini, M., Lanese, I., Tuosto, E.: Composition and decomposition of multiparty sessions. J. Logic Algebr. Methods Program. 119, 100620 (2021)
4. Lecture Notes in Computer Science;F Barbanera,2020
5. Barbanera, F., Lanese, I., Tuosto, E.: Composition of choreography automata. Technical reports 2107.06727, Arxiv, July 2021. http://arxiv.org/abs/2107.06727
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献