Quotient monoids and concurrent behaviours

MaRDI QIDQ3018961zbMATH OpenFDO

Authors Ryszard Janicki, Maciej Koutny, Jetty Kleijn

Publication date 27 July 2011

zbMATH Keywords

causal orderconcurrent behaviourMazurkiewicz tracesquotient monoids

Mathematics Subject Classification ID

Distributed systems (68M14) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modelling Concurrency with Quotient Monoids
• scientific article; zbMATH DE number 5347282
• Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
• scientific article; zbMATH DE number 869193
• Modelling concurrency with comtraces and generalized comtraces

Cited in

(7)

• Interval semantics for Petri nets with inhibitor arcs
• Folded Hasse diagrams of combined traces
• The Monoid of Queue Actions
• The mutex paradigm of concurrency
• Modelling Concurrency with Quotient Monoids
• Quotienting the delay monad by weak bisimilarity
• Modeling concurrency with interval traces

This page was built for publication: Quotient monoids and concurrent behaviours

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