Los Angeles, CA
March 31, 2009 to April 2, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.261
In this paper, we give two distributed viewpoint equivalences for higher order π-calculus. We show that the two equivalences are equivalent. Furthermore, we prove that distributed viewpoint equivalences are finer than context bisimulation and are coarser than higher order bisimulation. For some sub languages of higher order π-calculus, we show that these distributed viewpoint equivalences coincide with higher order bisimulation or context bisimulation.
higher order p-calculus, bisimulation
Zining Cao, "Distributed Viewpoint Equivalences for Higher Order Processes", CSIE, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 792-796, doi:10.1109/CSIE.2009.261