Author:
Boreale Michele,Sangiorgi Davide
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus;Electronic Proceedings in Theoretical Computer Science;2022-09-06
3. Comparing type systems for deadlock freedom;Journal of Logical and Algebraic Methods in Programming;2022-01
4. The C-calculus: A model for confidential name passing;Journal of Logical and Algebraic Methods in Programming;2021-02
5. A parametric framework for reversible π-calculi;Information and Computation;2020-12