Step traces

DOI10.1007/S00236-015-0244-ZzbMath1335.68173DBLPjournals/acta/JanickiKKM16OpenAlexW2911958596WikidataQ104379710 ScholiaQ104379710MaRDI QIDQ5963403

H. C. M. Kleijn, Maciej Koutny, Ryszard Janicki, Łukasz Mikulski

Publication date: 19 February 2016

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-015-0244-z

zbMATH Keywords

independencecausalityinterleavingdependence graphdependence structureextending concurrency alphabetsinvariant order structuresequentialisabilityserialisabilitysimultaneitystep trace

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Classifying invariant structures of step traces ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Modeling concurrency with interval traces ⋮ Relational structures for concurrent behaviours ⋮ Step traces ⋮ Algebraic Structure of Step Traces and Interval Traces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modelling concurrency with comtraces and generalized comtraces
• Structure of concurrency
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• Partial order semantics and read arcs
• Semi-commutations and Petri nets
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• A trace semantics for Petri nets
• Relational structures for concurrent behaviours
• Folded Hasse diagrams of combined traces
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• Semantics of inhibitor nets
• Order Structures for Subclasses of Generalised Traces
• Characterising Concurrent Histories
• Modeling Interval Order Structures with Partially Commutative Monoids
• A generalization of traces
• Mutex Causality in Processes and Traces of General Elementary Nets
• On the synchronization of semi-traces
• Applications and Theory of Petri Nets 2004
• The mutual exclusion problem
• Step traces

This page was built for publication: Step traces