Composition and decomposition of multiparty sessions-Reference-Cited by-同舟云学术

Composition and decomposition of multiparty sessions

Author:

Barbanera Franco,Dezani-Ciancaglini Mariangiola,Lanese Ivan,Tuosto Emilio

Funder

Ministero dell’Istruzione, dell’Università e della Ricerca

Compagnia di San Paolo

Università di Catania

Marie Curie

Istituto Nazionale di Alta Matematica "Francesco Severi"

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference43 articles.

1. Global types for open systems;Barbanera,2018

2. Connecting open systems of communicating finite state machines;Barbanera;J. Log. Algebraic Methods Program.,2019

3. Open multiparty sessions;Barbanera,2019

4. Compliance for reversible client/server interactions;Barbanera,2014

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Un-projectable Global Types for Multiparty Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. Multicompatibility for Multiparty-Session Composition;International Symposium on Principles and Practice of Declarative Programming;2023-10-22

3. Composition of synchronous communicating systems;Journal of Logical and Algebraic Methods in Programming;2023-10

4. Partially Typed Multiparty Sessions;Electronic Proceedings in Theoretical Computer Science;2023-08-21

5. A Theory of Formal Choreographic Languages;Logical Methods in Computer Science;2023-08-02