Author:
Castellani Ilaria,Dezani-Ciancaglini Mariangiola,Giannini Paola
Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Caos: A Reusable Scala Web Animator of Operational Semantics;Lecture Notes in Computer Science;2023
3. Composable partial multiparty session types for open systems;Software and Systems Modeling;2022-09-28
4. Branching Pomsets for Choreographies;Electronic Proceedings in Theoretical Computer Science;2022-08-09
5. Towards refinable choreographies;Journal of Logical and Algebraic Methods in Programming;2022-06