The Mutex Paradigm of Concurrency

DOI10.1007/978-3-642-21834-7_13zbMath1330.68209OpenAlexW1595611771MaRDI QIDQ3011890

Maciej Koutny, H. C. M. Kleijn

Publication date: 29 June 2011

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_13

zbMATH Keywords

process semanticselementary net systemsinhibitor arcscausality semanticsconcurrency paradigmsmutex arcssemantical frameworkstep sequences

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Process semantics of general inhibitor nets
• Trapping mutual exclusion in the box calculus
• Structure of concurrency
• Relational structures model of concurrency
• Sequential and concurrent behaviour in Petri net theory
• A methodology for programming with concurrency: An informal presentation
• Fundamentals of modelling concurrency using discrete relational structures
• Semantics of inhibitor nets
• Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*
• Synthesis of Nets with Step Firing Policies

This page was built for publication: The Mutex Paradigm of Concurrency