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

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)

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