Author:
Boreale Michele,De Nicola Rocco,Pugliese Rosario
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. On bisimulations for the asynchronous π-calculus;Amadio;Theor. Comput. Sci.,1998
2. A calculus for cryptographic protocols: The spi calculus;Abadi;Inform. and Comput.,1999
3. A foundation for actor computation;Agha;J. Funct. Programming,1997
4. Process algebra for synchronous communication;Bergstra;Inform. and Control,1984
5. Asynchronous communication in process algebra;de Boer,1992
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Asynchronous Test Equivalence over Timed Processes;Theoretical Aspects of Software Engineering;2023
2. Determining asynchronous test equivalence for probabilistic processes;Information Processing Letters;2022-08
3. A Model of Actors and Grey Failures;Lecture Notes in Computer Science;2022
4. An abstract framework for choreographic testing;Journal of Logical and Algebraic Methods in Programming;2021-11
5. Asynchronous test equivalence for probabilistic processes;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12