A precise characterisation of step traces and their concurrent histories

DOI10.7561/SACS.2018.2.237zbMATH Open1424.68104WikidataQ104379647 ScholiaQ104379647MaRDI QIDQ4621224FDOQ4621224

Authors: Ryszard Janicki, Łukasz Mikulski, Jetty Kleijn 

Publication date: 8 February 2019

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

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

zbMATH Keywords

classificationsimultaneityserializabilityinvariant structureinterleavingtrace of step sequencesstep alphabet

Mathematics Subject Classification ID

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

Cited In (2)

• One step at a time: the origins of sequential simulation and beyond
• Steps and traces

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)