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

August 4, 2008

DOI

10.1007/978-3-540-68746-7_18

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Associated Experts

Ryszard Janicki

Professor, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

46 Information and computing sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback