Searching for "Basic notions of trace theory." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Concurrency Models Bibliography - References
- …), 167-204. [25] [Ma]Mazurkiewicz.A. Basic notions of trace theory . Lecture Notes in Computer Science…
- Add To MetaCart
-
Logical Definability on Infinite Traces
- … is organized as follows: In Section 2 we recall some basic notions of trace theory, together with some…
- Cited by 31 (4 self) – Add To MetaCart
-
Representation of Computations in Concurrent Automata by Dependence Orders
- … us recall basic notions of trace theory and of automata with concurrency relations. As introduced…
- Cited by 7 (2 self) – Add To MetaCart
-
A Hierarchy of Partial Order Temporal Properties
- … directed set M ` U , F M 2 U . 3 Traces This section presents a short summary of basic notions of trace…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
