A generalization of traces

DOI10.1051/ITA/1991250201471MaRDI QIDQ3357559zbMATH OpenOpenAlexFDO

Authors 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

concurrent systemdependence graphdistributed systemsPetri netsTraces

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)

Recommendations

• Order structures for subclasses of generalised traces
• Theory of traces
• Modelling concurrency with comtraces and generalized comtraces
• Step traces
• scientific article; zbMATH DE number 1015097

Cites work

• Combinatorial problems of commutation and rearrangements
• scientific article; zbMATH DE number 3924146 (Why is no real title available?)
• scientific article; zbMATH DE number 3970130 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4104372 (Why is no real title available?)
• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• Partial commutations and faithful rational transductions
• Semantic independence
• Theory of traces

Cited in

(23)

• Characterizations of the trace
• The word problem for \(1\mathcal{LC}\) congruences is NP-hard.
• Relational structures for concurrent behaviours
• Traces without maximal chains
• Classifying invariant structures of step traces
• Folded Hasse diagrams of combined traces
• An extended trace identity and applications
• The special trace property
• Order structures for subclasses of generalised traces
• Generalized notion of a trace for von Neumann algebras
• Non-atomic transition firing in contextual nets
• Traceable Sets
• scientific article; zbMATH DE number 1127074 (Why is no real title available?)
• scientific article; zbMATH DE number 763322 (Why is no real title available?)
• scientific article; zbMATH DE number 817617 (Why is no real title available?)
• scientific article; zbMATH DE number 936308 (Why is no real title available?)
• Algebraic structure of step traces and interval traces
• Parallelism of stable traces
• Step traces
• Modelling concurrency with comtraces and generalized comtraces
• Interval traces with mutex relation
• On the concatenation of infinite traces
• Generating symbolic traces in the insertion modeling system

This page was built for publication: A generalization of traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3357559)