Symmetry in event structures

Authors:
Jianmin Jiang;Jinzhao Wu;Donghuo Chen
Affiliations:
Chongqing Technology and Business University, Chongqing, China;Chengdu Institute of Computer Applications, CAS, Chengdu, China;Chengdu Institute of Computer Applications, CAS, Chengdu, China
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 5
Cited 0

Exploiting symmetry in temporal logic model checking

Formal Methods in System Design - Special issue on symmetry in automatic verification
Refinement of actions and equivalence notions for concurrent systems

Acta Informatica
An introduction to event structures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Model-Checking for a Subclass of Event Structures

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Symmetry and Model Checking

CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

A notion of symmetry for event structures is defined, which are based on permutation groups. Given an event structure and a permutation group over it, we introduce the quotient model of the event structure and show that the quotient model is trace, bisimulation and pomset equivalent to the original event structure.