Relational structures for concurrent behaviours

DOI10.1016/j.tcs.2020.10.019zbMath1497.68344OpenAlexW3093879593WikidataQ104379610 ScholiaQ104379610MaRDI QIDQ1998872

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

Publication date: 9 March 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.10.019

zbMATH Keywords

causalityrelational structureconcurrencyclosurecombined order structurelabel-linearity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A PO characterisation of reconfiguration ⋮ Step traces

Cites Work

• Unnamed Item
• Unnamed Item
• Modeling concurrency with interval traces
• Modelling concurrency with comtraces and generalized comtraces
• Structure of concurrency
• Concurrent histories: a basis for observing distributed systems
• Modeling concurrency with partial orders
• A technique of state space search based on unfolding
• Fundamentals of modelling concurrency using discrete relational structures
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• A trace semantics for Petri nets
• Semantics of inhibitor nets
• Order Structures for Subclasses of Generalised Traces
• Characterising Concurrent Histories
• A generalization of traces
• Mutex Causality in Processes and Traces of General Elementary Nets
• The mutual exclusion problem
• Step traces

This page was built for publication: Relational structures for concurrent behaviours