A precise characterisation of step traces and their concurrent histories

DOI10.7561/SACS.2018.2.237MaRDI QIDQ4621224zbMATH OpenWikidataFDO

Authors Ryszard Janicki, Łukasz Mikulski, Jetty Kleijn

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/SACS.2018.2.237

zbMATH Keywords

classificationinterleavinginvariant structureserializabilitysimultaneitystep alphabettrace of step sequences

Mathematics Subject Classification ID

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

Recommendations

• Classifying invariant structures of step traces
• Step traces
• Invariant structures and dependence relations
• Alphabets of Acyclic Invariant Structures
• Algebraic structure of step traces and interval traces

Cited in

(7)

• One step at a time: the origins of sequential simulation and beyond
• Classifying invariant structures of step traces
• Invariant structures and dependence relations
• Algebraic structure of step traces and interval traces
• Steps and traces
• Step traces
• History-based reasoning about behavioral subtyping (extended paper)

This page was built for publication: A precise characterisation of step traces and their concurrent histories

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