Author:
Peters Kirstin,Nestmann Uwe
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. Petri net distributability;Best,2011
2. A Distributed Pi-Calculus;Hennessy,2007
3. A calculus of mobile processes, Part I;Milner;Inf. Comput.,1992
4. A calculus of mobile processes, Part II;Milner;Inf. Comput.,1992
5. Some results in the join-calculus;Lévy,1997
Cited by
4 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. On the Expressiveness of Mixed Choice Sessions;Electronic Proceedings in Theoretical Computer Science;2022-09-06
4. On distributability;Theoretical Computer Science;2022-04