loading...
Symmetry in Process Algebra
Shanghai, China June 06-June 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.49First Joint IEEE/IFIP Symposium on Th ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jianmin Jiang, Fujian Normal University
Jinzhao Wu, Chinese Academy of Sciences
Hongping Shu, Chengdu University of Information Technology
An original notion of symmetry for process algebra is defined, which is based on permutation groups. Given a process which is regarded as a structure and a permutation group on it, the quotient process (reduced process) is showed to be interleaving trace equivalent and interleaving bisimulation equivalent to the original process. Furthermore, an algorithm and two examples for this symmetric reduction are presented.
Index Terms:
Process algebra, symmetry, permutation groups, behavioral equivalences.
Citation:
Jianmin Jiang, Jinzhao Wu, Hongping Shu, "Symmetry in Process Algebra," tase, pp.450-462, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.