Mutex Causality in Processes and Traces of General Elementary Nets

DOI10.3233/FI-2013-785zbMath1283.68248OpenAlexW1842587327MaRDI QIDQ4914294

Maciej Koutny, H. C. M. Kleijn

Publication date: 18 April 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-785

zbMATH Keywords

causalityprocess semanticsstep sequenceelementary net systeminhibitor arcconcurrency paradigmgeneralised comtracegeneralised stratified order structuremutex arc

Mathematics Subject Classification ID

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

Related Items (5)

Classifying invariant structures of step traces ⋮ Modeling concurrency with interval traces ⋮ Relational structures for concurrent behaviours ⋮ Step traces ⋮ Algebraic Structure of Step Traces and Interval Traces

This page was built for publication: Mutex Causality in Processes and Traces of General Elementary Nets