The Book of Traces

The Book of Traces

by Volker Diekert, V. Diekert
     
 

ISBN-10: 9810220588

ISBN-13: 9789810220587

Pub. Date: 03/28/1995

Publisher: World Scientific Publishing Company, Incorporated

The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the theory of concurrent systems. In all these areas the theory of traces has led to interesting problems and significant results. It has made an especially big impact in formal language theory and…  See more details below

Overview

The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the theory of concurrent systems. In all these areas the theory of traces has led to interesting problems and significant results. It has made an especially big impact in 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 is devoted to one research line and is written by leading experts. The book is organized in such a way that each chapter can be read independently — and hence it is very suitable for advanced courses or seminars on formal language theory, the theory of concurrent systems, the theory of semigroups, and combinatorics. An extensive bibliography is included. At present, there is no other book of this type on trace theory.

Read More

Product Details

ISBN-13:
9789810220587
Publisher:
World Scientific Publishing Company, Incorporated
Publication date:
03/28/1995
Pages:
568
Product dimensions:
6.30(w) x 8.40(h) x 1.40(d)

Table of Contents

1Introduction to Trace Theory3
2Dependence Graphs43
3Combinatorics in Trace Monoids I71
4Combinatorics in Trace Monoids II83
5Counting Techniques for Inclusion, Equivalence and Membership Problems131
6Recognizable Trace Languages167
7Asynchronous Automata205
8Construction of Asynchronous Automata249
9Trace Structures and other Models for Concurrency271
10Traces and Logic307
11Infinite Traces393
12Semi-Commutations487
Bibliography553

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >