Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;Z. Cao,2004
2. Jeffrey, A., Rathke, J.: A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science 323, 1–48 (2004)
3. Jeffrey, A., Rathke, J.: Contextual equivalence for higher-order π-calculus revisited. Logical Methods in Computer Science 1(1:4), 1–22 (2005)
4. Li, Y., Liu, X.: Towards a theory of bisimulation for the higher-order process calculi. Journal of Computer Science and Technology 19(3), 352–363 (2004)
5. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Part I and II). Information and Computation 100, 1–77 (1992)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HOCore in Coq;Interactive Theorem Proving;2015
2. On Context Bisimulation for Parameterized Higher-order Processes;Electronic Proceedings in Theoretical Computer Science;2013-10-15
3. Environmental bisimulations for higher-order languages;ACM Transactions on Programming Languages and Systems;2011-01
4. Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems;Journal of Computer Science and Technology;2009-01
5. Normal Bisimulations in Calculi with Passivation;Foundations of Software Science and Computational Structures;2009