Modelling Concurrency with Quotient Monoids

Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz traces [14] and comtraces of [10].

• Type: Conference
• Year: 2008
• Where: APN
• Authors: Ryszard Janicki, Dai Tri Man Le
• Keywords: APN 2008, Artificial Intelligence, Compound Generators, Quotient Monoids