The Community for Technology Leaders
RSS Icon
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
Zining Cao, "Distributed Viewpoint Equivalences for Higher Order Processes", CSIE, 2009, Computer Science and Information Engineering, World Congress on, Computer Science and Information Engineering, World Congress on 2009, pp. 792-796, doi:10.1109/CSIE.2009.261
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool