Step traces

DOI10.1007/S00236-015-0244-ZMaRDI QIDQ5963403zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Ł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

causalitydependence graphdependence structureextending concurrency alphabetsindependenceinterleavinginvariant order structuresequentialisabilityserialisabilitysimultaneitystep trace

Mathematics Subject Classification ID

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

Recommendations

• Invariant structures and dependence relations
• A precise characterisation of step traces and their concurrent histories
• Classifying invariant structures of step traces
• Alphabets of Acyclic Invariant Structures
• Theory of traces

Cites work

• A generalization of traces
• A trace semantics for Petri nets
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• Applications and Theory of Petri Nets 2004
• Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
• Characterising concurrent histories
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Folded Hasse diagrams of combined traces
• scientific article; zbMATH DE number 5347282 (Why is no real title available?)
• scientific article; zbMATH DE number 5506906 (Why is no real title available?)
• scientific article; zbMATH DE number 3669869 (Why is no real title available?)
• scientific article; zbMATH DE number 176133 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1759627 (Why is no real title available?)
• scientific article; zbMATH DE number 1435983 (Why is no real title available?)
• Modeling concurrency with partial orders
• Modeling interval order structures with partially commutative monoids
• Modelling concurrency with comtraces and generalized comtraces
• Mutex causality in processes and traces of general elementary nets
• On the synchronization of semi-traces
• On three alternative characterizations of combined traces
• Order structures for subclasses of generalised traces
• Partial order semantics and read arcs
• Petri nets, event structures and domains. I
• Relational structures for concurrent behaviours
• Semantics of inhibitor nets
• Semi-commutations and Petri nets
• Step traces
• Structure of concurrency
• The mutual exclusion problem

Cited in

(16)

• On undecidability of propositional temporal logics on trace systems
• Relational structures for concurrent behaviours
• Classifying invariant structures of step traces
• Order structures for subclasses of generalised traces
• A generalization of traces
• Invariant structures and dependence relations
• A precise characterisation of step traces and their concurrent histories
• Topological aspects of traces
• Algebraic structure of step traces and interval traces
• Modeling concurrency with interval traces
• Steps and traces
• Visualisation of concurrent processes
• Step traces
• On Interval Semantics of Inhibitor and Activator Nets
• Interval traces with mutex relation
• Analysis of concurrent systems based on interval order

This page was built for publication: Step traces

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