The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, CA
March 31, 2009 to April 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", 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
40 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool