Author:
Montesi Fabrizio,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Additional Resources,
http://www.itu.dk/people/fabr/papers/compchor/
2. Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A Type System for Flexible Role Assignment in Multiparty Communicating Systems. In: Proc. of TGC (2012)
3. Lecture Notes in Computer Science;L. Bettini,2008
4. Business Process Model and Notation,
http://www.omg.org/spec/BPMN/2.0/
5. Lecture Notes in Computer Science;N. Busi,2006
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
3. Choreographic Programming of Isolated Transactions;Electronic Proceedings in Theoretical Computer Science;2023-04-13
4. Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection;Proceedings of the ACM on Programming Languages;2023-04-06
5. Reasoning About Choreographic Programs;Lecture Notes in Computer Science;2023