Publisher
Springer International Publishing
Reference46 articles.
1. Lecture Notes in Computer Science;M Baldamus,2005
2. Boreale, M.: On the expressiveness of internal mobility in name-passing calculi. TCS 195(2), 205–226 (1998). https://doi.org/10.1016/S0304-3975(97)00220-X
3. NATO ASI Series;G Boudol,1985
4. Boudol, G.: Asynchrony and the $$\pi $$π-calculus (Note). Technical report 1702, INRIA (1992)
5. Busi, N., Gabbrielli, M., Zavattaro, G.: On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6), 1191–1222 (2009). https://doi.org/10.1017/S096012950999017X
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Mixed choice in session types;Information and Computation;2024-06
3. The reflective higher-order calculus: Encodability, typability and separation;Information and Computation;2024-03
4. Comparing the Expressiveness of the π-calculus and CCS;ACM Transactions on Computational Logic;2023-11-18
5. On the Expressiveness of Mixed Choice Sessions;Electronic Proceedings in Theoretical Computer Science;2022-09-06