Characterising concurrent histories

DOI10.3233/FI-2015-1224MaRDI QIDQ2804174zbMATHOpenAlexWikidataFDO

Authors Ryszard Janicki, Maciej Koutny, Ł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

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)

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

Cited in

(9)

• Relational structures for concurrent behaviours
• Mutex causality in processes and traces of general elementary nets
• Classifying invariant structures of step traces
• Interval traces with mutex relation
• The mutex paradigm of concurrency
• Tools for constructing chronologies. Crossing disciplinary boundaries
• Step traces
• Cohesion of object histories
• Posets with interfaces as a model for concurrency

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)