Modelling Concurrency with Quotient Monoids

DOI10.1007/978-3-540-68746-7_18MaRDI QIDQ3510871zbMATH OpenOpenAlexFDO

Authors Ryszard Janicki, Dai Tri Man Lê

Publication date 3 July 2008

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-540-68746-7_18

zbMATH Keywords

canonical representationscomtracesquotient monoidsstep sequencesstratified order structuresstratified partial orderstraces

Mathematics Subject Classification ID

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

Recommendations

• Quotient monoids and concurrent behaviours
• Modelling concurrency with semi-commutations
• Models for concurrency: Towards a classification
• scientific article; zbMATH DE number 1555178
• scientific article; zbMATH DE number 125888
• Quantaloids for concurrency
• Concurrency measure in commutation monoids
• An equational modeling of asynchronous concurrent programming
• Theoretical Aspects of Computing - ICTAC 2004
• Modal Abstractions of Concurrent Behaviour

Cites work

• Combinatorial problems of commutation and rearrangements
• Concurrent and maximally concurrent evolution of nonsequential systems
• Fundamentals of modelling concurrency using discrete relational structures
• scientific article; zbMATH DE number 3669869 (Why is no real title available?)
• scientific article; zbMATH DE number 3720983 (Why is no real title available?)
• Modelling concurrent behaviours by commutativity and weak causality relations
• PARLE '91. Parallel architectures and languages Europe. Vol. 1: Parallel architectures and algorithms. Eindhoven, The Netherlands, June 10--13, 1991. Proceedings
• Process semantics of general inhibitor nets
• Semantics of inhibitor nets
• Structure of concurrency

Cited in

(6)

• Iris: monoids and invariants as an orthogonal basis for concurrent reasoning
• Quotient monoids and concurrent behaviours
• On congruences and partial orders
• Quotients of sequences by sets of word identities and limit models
• Quantaloids for concurrency
• Modelling concurrency with comtraces and generalized comtraces

This page was built for publication: Modelling Concurrency with Quotient Monoids

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