Modelling Concurrency with Quotient Monoids

15 years 4 months ago

Download www.cs.toronto.edu

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].

Ryszard Janicki, Dai Tri Man Le

Real-time Traffic

APN 2008 | Artificial Intelligence | Compound Generators | Quotient Monoids |

claim paper

Related Content

» Symmetric monoidal sketches

» The Microcosm Principle and Concurrency in Coalgebra

» Algebraic Theories for Contextual Prenets

» A Comparison of Petri Net Semantics under the Collective Token Philosophy

» Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics

» Spatial Logics for Bigraphs

» Tile Transition Systems as Structured Coalgebras

» On the Relationship between Spatial Logics and Behavioral Simulations

» Components of the Fundamental Category II

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	APN
Authors	Ryszard Janicki, Dai Tri Man Le

Comments (0)

Sciweavers

Modelling Concurrency with Quotient Monoids

APN 2008 | Artificial Intelligence | Compound Generators | Quotient Monoids |

Explore & Download

Productivity Tools

Sciweavers