Modelling concurrent behaviours by commutativity and weak causality relations

DOI10.1007/3-540-45719-4_13MaRDI QIDQ2996135zbMATH OpenOpenAlexFDO

Authors Guang-Yuan Guo, Ryszard Janicki

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_13

Mathematics Subject Classification ID

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

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Relational structures model of concurrency
• Relational structures for concurrent behaviours
• Fundamentals of modelling concurrency using discrete relational structures
• Structure of concurrency

Cited in

(9)

• Relational structures for concurrent behaviours
• Computing Behavioral Relations for Probabilistic Concurrent Systems
• The mutex paradigm of concurrency
• Modelling Concurrency with Quotient Monoids
• Algebraic Methodology and Software Technology
• Theoretical Aspects of Computing - ICTAC 2004
• Modelling concurrency with comtraces and generalized comtraces
• Modelling concurrent interactions
• Relational structures model of concurrency

This page was built for publication: Modelling concurrent behaviours by commutativity and weak causality relations

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