A generalization of traces

DOI10.1051/ita/1991250201471zbMath0731.68083OpenAlexW109260020MaRDI QIDQ3357559

Walter Vogler

Publication date: 1991

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92386

zbMATH Keywords

distributed systemsPetri netsdependence graphconcurrent systemTraces

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Non-atomic Transition Firing in Contextual Nets ⋮ Classifying invariant structures of step traces ⋮ Folded Hasse diagrams of combined traces ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ The word problem for \(1\mathcal{LC}\) congruences is NP-hard. ⋮ Relational structures for concurrent behaviours ⋮ Step traces ⋮ Algebraic Structure of Step Traces and Interval Traces

Cites Work

• Partial commutations and faithful rational transductions
• Semantic independence
• Theory of traces
• Combinatorial problems of commutation and rearrangements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A generalization of traces