The Community for Technology Leaders
Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 792-796
ABSTRACT
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.
INDEX TERMS
higher order p-calculus, bisimulation
CITATION
Zining Cao, "Distributed Viewpoint Equivalences for Higher Order Processes", Computer Science and Information Engineering, World Congress on, vol. 07, no. , pp. 792-796, 2009, doi:10.1109/CSIE.2009.261
107 ms
(Ver 3.1 (10032016))