Characterising concurrent histories

DOI10.3233/FI-2015-1224MaRDI QIDQ2804174zbMATH OpenOpenAlexWikidataFDO

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

causal posetcausality semanticsconcurrent historyinterleavingmutex relationstep sequenceweak causal order

Mathematics Subject Classification ID

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

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

(10)

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

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)