Characterising Concurrent Histories

DOI10.3233/FI-2015-1224zbMath1334.68153OpenAlexW1498104397WikidataQ104379716 ScholiaQ104379716MaRDI QIDQ2804174

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

Publication date: 28 April 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1224

zbMATH Keywords

interleavingstep sequencecausal posetcausality semanticsconcurrent historymutex relationweak causal order

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ordered sets (06A99)

Related Items (3)

Classifying invariant structures of step traces ⋮ Relational structures for concurrent behaviours ⋮ Step traces

This page was built for publication: Characterising Concurrent Histories