Book of traces, the
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789810220587
Date de publication :
1 mars 1995
Langue :
Anglais
Pays d'origine :
Singapour
This text covers important research lines of the theory of traces. Each chapter of the book is devoted to one research line and can be read independently, hence it is suitable for advanced courses and seminars on formal language theory and the theory of concurrent systems.