Author:
Pugliese Rosario,Tiezzi Francesco,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Amadio, R.M., Castellani, I., Sangiorgi, D.: On Bisimulations for the Asynchronous pi-Calculus. Theoretical Computer Science 195(2), 291–324 (1998)
2. Bhat, G., Cleaveland, R., Lüttgen, G.: A Practical Approach to Implementing Real-Time Semantics. Annals of Software Engineering 7, 127–155 (1999)
3. Lecture Notes in Computer Science;R. Bruni,2008
4. Cleaveland, R., Lüttgen, G., Natarajan, V.: Priorities in process algebra. In: Handbook of Process Algebra, pp. 391–424 (2001)
5. Fecher, H.: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Computing 8(3), 346–365 (2001)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献