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