Bisimulations for Open Processes in Higher Order p-Calculus

  • Zining Cao
  • Published 2010 in
    2010 4th IEEE International Symposium on…


In this paper, we propose open bisimulations for open processes in higher order π-calculus. The equivalence of open bisimulations and other bisimulations for open processes is proved. Furthermore, we present a symbolic operational semantics of higher order open processes, and give some symbolic bisimulations for higher order processes. The relation between symbolic bisimulations and other bisimulations is also studied. At last, we introduce a higher order π-calculuswith sum and conditional operators, then we study open bisimulations and symbolic bisimulations for this calculus.

DOI: 10.1109/TASE.2010.17

Cite this paper

@article{Cao2010BisimulationsFO, title={Bisimulations for Open Processes in Higher Order p-Calculus}, author={Zining Cao}, journal={2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering}, year={2010}, pages={135-144} }