A Precise Characterisation of Step Traces and Their Concurrent Histories

From MaRDI portal

Publication:4621224

Jump to:navigation, search

DOI10.7561/SACS.2018.2.237zbMath1424.68104WikidataQ104379647 ScholiaQ104379647MaRDI QIDQ4621224

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

Publication date: 8 February 2019

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

zbMATH Keywords

classification interleaving simultaneity serializability invariant structure trace of step sequences step alphabet

Mathematics Subject Classification ID

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

This page was built for publication: A Precise Characterisation of Step Traces and Their Concurrent Histories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4621224&oldid=18797497"