Characterising concurrent histories

DOI10.3233/FI-2015-1224zbMATH Open1334.68153OpenAlexW1498104397WikidataQ104379716 ScholiaQ104379716MaRDI QIDQ2804174FDOQ2804174

Maciej Koutny, Ryszard Janicki, Łukasz Mikulski, Jetty 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

Recommendations

• Structure of concurrency
• The mutex paradigm of concurrency
• Fundamentals of modelling concurrency using discrete relational structures
• Mutex causality in processes and traces of general elementary nets
• Theoretical Aspects of Computing - ICTAC 2004

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)

Cited In (6)

• Interval traces with mutex relation
• Tools for constructing chronologies. Crossing disciplinary boundaries
• Relational structures for concurrent behaviours
• Cohesion of object histories
• Classifying invariant structures of step traces
• Step traces

This page was built for publication: Characterising concurrent histories

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