For the most recent entries see the Petri Nets Newsletter.

Testing Equivalences for Event Structures.

Aceto, L.; de Nicola, R.; Fantechi, A.

In: Zilli, M.V.: Lecture Notes in Computer Science, Vol. 280: Mathematical Models for the Semantics of Parallelism, pages 1-20. Springer-Verlag, 1987.

Abstract: A flexible abstraction mechanism for models of concurrency 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 is captured. As a reslult, three different semantic models for concurrent systems are obtained.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography