Abstract

For event structures various approaches to the definition of an operational semantics can be distinguished. One distinction concerns the choice of the set of states in the related transition system T (E) of an event structure E : We show how transition systems TC(E) which take the configurations of an event structure as states and transition systems TE(E) which take "residual" event structures as states are related. Key words: bisimulation; concurrency; event structures; formal semantics; transition systems. Transition systems play an important role in concurrency theory. Associating a transition system with e.g. a true concurrency model has proved to be a suitable technique for studying various problems related to reactive systems including consistency, bisimulation, implementation and verification. In the case of event structures various types of transition systems T (E) were associated with an event structure E [2--4,6,7]. The operators T differ in the choice of the set of states...

Citations