Author:
Zhou Xiao-cong,Li Yong-ji,Li Wen-jun,Qiao Hai-yan,Shu Zhong-mei
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Rutten, J.: Universal coalgebra: A theory of systems. TCS 249(1), 3–80 (2000)
2. Sangiorgi, D.: On the origins of bisimulation and coinduction. TOPLAS, Articale 15 31(4) (2009)
3. Sangiorgi, D.: On the bisimulation proof method. Mathematical Structures in Computer Science 8, 447–479 (1998)
4. Sangiorgi, D., Walker, D.: The pi-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
5. Rothe, J., Tews, H., Jacobs, B.: The coalgebraic class specification language CCSL. Journal of Universal Computer Science 7(2), 175–193 (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献