Relational structures model of concurrency

DOI10.1007/s00236-008-0071-6zbMath1147.68054OpenAlexW2043947609MaRDI QIDQ934912

Ryszard Janicki

Publication date: 30 July 2008

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-008-0071-6

Mathematics Subject Classification ID

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

Related Items (7)

On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Folded Hasse diagrams of combined traces ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ The Mutex Paradigm of Concurrency ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Process semantics of general inhibitor nets
• Structure of concurrency
• Concurrent histories: a basis for observing distributed systems
• Petri net semantics of priority systems
• Defining conditional independence using collapses
• Operational and denotational semantics for the box algebra
• Fundamentals of modelling concurrency using discrete relational structures
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Timed testing of concurrent systems
• Semantics of inhibitor nets
• Intransitive indifference with unequal indifference intervals
• Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*
• A Theory of Communicating Sequential Processes
• Theoretical Aspects of Computing - ICTAC 2004
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2004
• The mutual exclusion problem

This page was built for publication: Relational structures model of concurrency