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
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

Z. Cao, "Distributed Viewpoint Equivalences for Higher Order Processes," 2009 WRI World Congress on Computer Science and Information Engineering, CSIE(CSIE), Los Angeles, CA, 2009, pp. 792-796.
84 ms
(Ver 3.3 (11022016))