Relational structures for concurrent behaviours
type: Item
instance of: scholarly article
title: Relational structures for concurrent behaviours
zbMATH Open document ID: 1497.68344
author: Ryszard Janicki
author: Jetty Kleijn
author: Maciej Koutny
author: Łukasz Mikulski
published in: Theoretical Computer Science
publication date: 2021-03-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7318717
zbMATH Keywords: relational structure
zbMATH Keywords: causality
zbMATH Keywords: concurrency
zbMATH Keywords: closure
zbMATH Keywords: label-linearity
zbMATH Keywords: combined order structure
MaRDI profile type: Publication
Wikidata QID: Q104379610
full work available at URL: j.tcs.2020.10.019
OpenAlex ID: W3093879593
cites work: Modeling concurrency with partial orders
cites work: Q3527017
cites work: Q4247285
cites work: Order Structures for Subclasses of Generalised Traces
cites work: Step traces
cites work: Semantics of inhibitor nets
cites work: Modelling concurrency with comtraces and generalized comtraces
cites work: Mutex Causality in Processes and Traces of General Elementary Nets
cites work: Structure of concurrency
cites work: Fundamentals of modelling concurrency using discrete relational structures
cites work: Characterising concurrent histories
cites work: A technique of state space search based on unfolding
cites work: Modeling concurrency with interval traces
cites work: Concurrent histories: a basis for observing distributed systems
cites work: Domain and event structure semantics for Petri nets with read and inhibitor arcs
cites work: A generalization of traces
cites work: The mutual exclusion problem
cites work: A trace semantics for Petri nets
DOI: 10.1016/J.TCS.2020.10.019
description: scientific article; zbMATH DE number 7318717