Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. On bisimulations for the asynchronous π-calculus;Amadio;Theoret. Comput. Sci.,1998
2. An efficiency preorder for processes;Arun-Kumar;Acta Inform.,1992
3. An asynchronous model of locality, failure, and process mobility;Amadio,1997
4. Another advantage of free choice: Completely asynchronous agreement protocols (Extended abstract);Ben-Or,1983
5. Output guards and nondeterminism in “Communicating Sequential Processes”;Bernstein;ACM Trans. Programming Lang. Systems,1980
Cited by
63 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. A thesis for interaction;Theoretical Computer Science;2022-01
5. On the Interactive Power of Higher-order Processes Extended with Parameterization;Formal Aspects of Computing;2021-03