The Book of Traces
Bibliographic Data
| ID | 23805013 |
|---|---|
| Authors | Volker Diekert (0000-0002-5994-3762, University of Stuttgart), Grzegorz Rozenberg (Leiden University) |
| Year | 1995 |
| Pages | 576 |
| Publication date | 1995-03-01 |
| Open Access | No |
| Type | BOOK |
| Venue | The Book of traces (SOURCE_BOOK) |
| Publisher | World Scientific (PUBLISHER • SG) |
| DOI | 10.1142/2563 |
| OpenAlex | W1529497146 |
| ISBN | 9789810220587 |
| Open Library | OL1113477M |
| Language | EN |
| Citations received | 1 |
The theory of traces belongs to both formal language theory and the theory of concurrent systems. In both these disciplines it is a well-recognized and dynamic research area. Within formal language theory it yields the theory of partially commutative monoids, and provides an important connection between languages and graphs. Within the theory of concurrent systems it provides an important formal framework for the analysis and synthesis of concurrent systems. This monograph covers all important research lines of the theory of traces - each chapter of the book is devoted to one research line and is written by leading experts. It is organized in such a way that each chapter can be read independently - and hence is suitable for advanced courses/seminars on formal language theory and the theory of concurrent systems.
History · Logic, programming, and type systems · semigroups and automata theory · Combinatorial analysis · Parallel processing (electronic computers)
| Citations per year | 0.04 |
|---|---|
| Citation span | 2003 - 2003 (1) |
| Highly cited | No |