loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)
Symmetry and Autobisimulation
Dalian, China
December 05-December 08
ISBN: 0-7695-2405-2
Jianmin Jiang, University, Chongqing, China
Jinzhao Wu, Universitat Mannheim, Mannheim, Germany
For event structures as a major branch of concurrent models, no one notices their symmetries. It is very likely that someone thinks that symmetry reduction over an event structure can be replaced by the (largest) autobisimulation reduction. We show that, given an event structure, there are some differences between the symmetric quotient model induced by symmetry reduction and the bisimilar quotient model induced by the (largest) autobisimulation. The former is ( interleaving ) bisimulation equivalent and pomset trace equivalent to the original event structure. However, though the latter is bisimulation equivalent to the original, it and its original event structure are not likely pomset trace equivalent.
Index Terms:
Symmetry, autobisimulation, event structures
Citation:
Jianmin Jiang, Jinzhao Wu, "Symmetry and Autobisimulation," pdcat, pp.866-870, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.