TY  - CHAP
UR  - http://dx.doi.org/10.1007/3-540-18419-8_9
TI  - Testing Equivalences for Event Structures
AV  - none
M1  - 280
N2  - A flexible abstraction mechanism for models of concurrency, which allows systems which "look the same" to be considered equivalent, is proposed. Using three classes of atomic observations (sequences of actions, sequences of multisets of actions and partial orderings of actions) different information on the causal and temporal structure of Event Structures, a basic model of parallelism, is captured. As a result, three different semantic models for concurrent systems are obtained. These models can be used as the basis for defining interleaving, multisets or partial ordering semantics of concurrent systems. The common framework used to define the models allows us to study the relationship between these three traditional approaches to the semantics of concurrent communicating systems.
SN  - 3-540-18419-8
T2  - Mathematical Models for the Semantics of Parallelism
EP  - 20
ID  - eprints388
Y1  - 1986///
T3  - Lecture Notes in Computer Science
SP  - 1
A1  - Aceto, Luca
A1  - Fantechi, Alessandro
A1  - De Nicola, Rocco
PB  - Springer
ED  - Venturini Zilli, Marisa
ER  -