Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference54 articles.
1. Algèbre de processus et synchronisations;Austry;Theor. Comput. Sci.,1984
2. Spi calculus translated to π-calculus preserving may-tests;Baldamus,2004
3. Algebra of communicating processes;Bergstra,1986
4. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Netw.,1987
5. On the expressiveness of internal mobility in name-passing calculi;Boreale;Theor. Comput. Sci.,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars;Electronic Proceedings in Theoretical Computer Science;2020-08-27
2. Stronger Validity Criteria for Encoding Synchrony;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
3. On the Expressiveness of Joining and Splitting;Lecture Notes in Computer Science;2019