Author:
Beauxis Romain,Palamidessi Catuscia,Valencia Frank D.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 195(2), 291–324 (1998);
2. An extended abstract appeared in Sassone, V., Montanari, U. (eds.): CONCUR 1996. LNCS, vol. 1119, pp. 147–162. Springer, Heidelberg (1996)
3. Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control 60(1,3), 109–137 (1984)
4. Lecture Notes in Computer Science;J.A. Bergstra,1985
5. Boreale, M., Nicola, R.D., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation 172(2), 139–164 (2002)
Cited by
15 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. Stronger Validity Criteria for Encoding Synchrony;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
3. Manifest sharing with session types;Proceedings of the ACM on Programming Languages;2017-08-29
4. Automated verification of automata communicating via FIFO and bag buffers;Formal Methods in System Design;2017-06-20
5. Process Algebras for Petri Nets;Monographs in Theoretical Computer Science. An EATCS Series;2017