Bisimulations for Open Processes in Higher Order p-Calculus


	BibTex \| RIS \| RefWorks Download

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 π-calculus with sum and conditional operators, then we study open bisimulations and symbolic bisimulations for this calculus.

Conference: Theoretical Aspects of Software Engineering - TASE , 2010

DOI: 10.1109/TASE.2010.17

Cumulative Annual

View Publication

( ieeexplore.ieee.org )

Keywords (2)

References (20)

A semantic framework for open processes (Citations: 3)

Symbolic Equivalences for Open Systems (Citations: 4)

Equivalence Checking for a Finite Higher Order pi-Calculus (Citations: 3)

Bisimulations for a Distributed Higher Order pi Calculus (Citations: 4)

More on Bisimulations for Higher Order pi-Calculus (Citations: 12)


	The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.