Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference49 articles.
1. Baeten, J.: Branching bisimilarity is an equivalence indeed. Inform. Process. Lett. 58, 141–147 (1996)
2. Bundgaard, M., Godskesen, J.C., Hildebrandt, T.: Encoding the pi-calculus in higher-order calculi. Tech. Rep. TR-2008-106, IT University of Copenhagen (2008)
3. Bundgaard, M., Hildebrandt, T., Godskesen, J.C.: A cps encoding of name-passing in higher-order mobile embedded resources. Theor. Comput. Sci. 356, 422–439 (2006)
4. Busi, N., Gabbrielli, M., Zavattaro, G.: Replication vs recursive definitions in channel based calculi. In: Proceedings of ICALP 2003, LNCS, vol. 2719, pp. 133–144. Springer, Berlin (2003)
5. Busi, N., Gabbrielli, M., Zavattaro, G.: Comparing recursion, replication and iteration in process calculi. In: Proceedings of ICALP04, LNCS, vol. 3142, pp. 307–319. Springer, Berlin (2004)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献