Theory of traces (Q1107296): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(88)90051-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1967736886 / rank | |||
Normal rank |
Revision as of 00:42, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Theory of traces |
scientific article |
Statements
Theory of traces (English)
0 references
1988
0 references
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).
0 references
dependency graph
0 references
synchronization
0 references
traces
0 references
concurrent systems
0 references
Petri nets
0 references
condition/event systems
0 references