Relational structures for concurrent behaviours

DOI10.1016/J.TCS.2020.10.019MaRDI QIDQ1998872zbMATH OpenOpenAlexWikidataFDO

Authors Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

Publication date 9 March 2021

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

causalityclosurecombined order structureconcurrencylabel-linearityrelational structure

Mathematics Subject Classification ID

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

Recommendations

• Relational structures model of concurrency
• Theoretical Aspects of Computing - ICTAC 2004
• Fundamentals of modelling concurrency using discrete relational structures
• Modelling concurrent behaviours by commutativity and weak causality relations
• Structure of concurrency

Cites work

• A generalization of traces
• A technique of state space search based on unfolding
• A trace semantics for Petri nets
• Characterising concurrent histories
• Concurrent histories: a basis for observing distributed systems
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Fundamentals of modelling concurrency using discrete relational structures
• scientific article; zbMATH DE number 5347282 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• Modeling concurrency with interval traces
• Modeling concurrency with partial orders
• Modelling concurrency with comtraces and generalized comtraces
• Mutex causality in processes and traces of general elementary nets
• Order structures for subclasses of generalised traces
• Semantics of inhibitor nets
• Step traces
• Structure of concurrency
• The mutual exclusion problem

Cited in

(7)

• Fundamentals of modelling concurrency using discrete relational structures
• Modelling concurrent behaviours by commutativity and weak causality relations
• Theoretical Aspects of Computing - ICTAC 2004
• Step traces
• A PO characterisation of reconfiguration
• Structure of concurrency
• Relational structures model of concurrency

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

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