# zbMATH — the first resource for mathematics

Theory of traces. (English) Zbl 0652.68017
The paper gives a good self contained introduction to the theory of traces, a theory which provides a mathematical description of the behaviour of concurrent systems. Its aim is to reconcile the sequential nature of observations of the system behaviour on the one hand and the nonsequential nature of causality between the actions of the system on the other hand.
The paper presents a major portion of the theory of traces in a uniform way, holding a good balance between two possible sights of the subject (as partial commutative monoids resp. as labelled partial orders/$$labelled$$ acyclic graphs). Furthermore a second part presents applications to Petri nets (condition/$$event$$ systems).
Reviewer: H.Müller

##### MSC:
 68Q60 Specification and verification (program logics, model checking, etc.) 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q65 Abstract data types; algebraic specification
Full Text: