Author:
Baldamus Michael,Dingel Jürgen
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. R.M. Amadio. On the Reduction of CHOCS-Bisimulation to π-calculus Bisimulation. In Concurrency Theory, LNCS 715, pages 112–126. Springer, 1993. Proceedings CONCUR.
2. R.M. Amadio and M. Dam. Reasoning about Higher-order Processes. In P.D. Mosses, M. Nielsens, and M.I. Schwartzbach, editors, Theory and Practice of Software Development, LNCS 915, pages 202–216. Springer, 1995. Proceedings TAPSOFT.
3. M. Baldamus and J. Dingel. Modal Characterization of Weak Bisimulation for Higherorder Processes. Report 96-27, Berlin University of Technology, Computer Science Department, 1996. Retrievable via the Hypatia electronic library.
4. M. Baldamus and T. Frauenstein. Congruence Proofs for Weak Bisimulation Equivalences on Higher-order Process Calculi. Report 95-21, Berlin University of Technology, Computer Science Department, 1995.
5. W. Ferreira, M. Hennessy, and A. Jeffrey. A Theory of Weak Bisimulation for Core CML. In Functional Programming, pages 201–212. ACM Press, 1996. Conference proceedings.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献