Chapter
Concurrency Traces
Abstract
This chapter presents the basics of the theory of concurrency traces which are elements of equational partially commutative monoids of sequences. The theory of trace monoids has been developed and applied within diverse areas, such as combinatorics and, in particular, concurrency theory. Its origins are rooted in the theory of formal languages with its powerful repertoire of analysis tools and well developed structural properties. Trace theory …
Authors
Janicki R; Kleijn J; Koutny M; Mikulski Ł
Book title
Studies in Computational Intelligence
Volume
1020
Pagination
pp. 77-99
Publication Date
January 1, 2022
DOI
10.1007/978-3-662-64821-6_4