This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Distributed Viewpoint Equivalences for Higher Order Processes
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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, vol. 7, pp.792-796, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.