Author:
van Glabbeek Rob,Goltz Ursula,Lippert Christopher,Mennicke Stephan
Publisher
Springer International Publishing
Reference43 articles.
1. Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theoret. Comput. Sci. 195(2), 291–324 (1998).
https://doi.org/10.1016/S0304-3975(97)00223-5
2. Lecture Notes in Computer Science;M Baldamus,2005
3. Lecture Notes in Computer Science;R Beauxis,2008
4. Boudol, G.: Notes on algebraic calculi of processes. In: Apt, K.R. (eds) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 13, pp. 261–303. Springer, Heidelberg (1985).
https://doi.org/10.1007/978-3-642-82453-1_9
5. Boudol, G.: Asynchrony and the
$$\pi $$
-calculus (Note). Technical Report, 1702, INRIA (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献