Conference
Modelling Concurrency with Quotient Monoids
Abstract
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].
Authors
Janicki R; Lê DTM
Series
Lecture Notes in Computer Science
Volume
5062
Pagination
pp. 251-269
Publisher
Springer Nature
Publication Date
2008
DOI
10.1007/978-3-540-68746-7_18
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743