Author:
Castellani Ilaria,Hennessy Matthew
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 195, 291–324 (1998)
2. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Computer Science, vol. 18 (1990)
3. Lecture Notes in Computer Science;M. Boreale,1998
4. Boreale, M., DeNicola, R., Pugliese, R.: Laws for asynchrony (1998) (Draft)
5. Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA, Sophia-Antipolis (1992)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Asynchronous Test Equivalence over Timed Processes;Theoretical Aspects of Software Engineering;2023
2. A Model of Actors and Grey Failures;Lecture Notes in Computer Science;2022
3. Playing with Bisimulation in Erlang;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
4. A new semantic equivalence for real-time processes;Proceedings of the 10th Innovations in Software Engineering Conference;2017-02-05
5. Asynchronous Traces and Open Petri Nets;Programming Languages with Applications to Biology and Security;2015