Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a...

to Circuit COIllplexity A Uniform Approach With 29 Figures, Springer Author Dr. Heribert Vollmer Universitiit Wurzburg Theoretische Informatik Am Exerzierplatz 3 D-97072 Wurzburg, Germany vollmer@informatik. uni-wuerzburg. de Series Editors Prof. Dr. Wilfried Brauer Institut fUr Informatik, Technische Universitiit Munchen Arcisstrasse 21, D-80333 Munchen, Germany Prof. Dr. Grzegorz Rozenberg Department of Computer Science, University of Leiden Niels Bohrweg 1, P. O. Box 9512, 2300 RA Leiden, The Netherlands Prof. Dr. Arto Salomaa Data City, Turku Centre for Computer Science FIN-20520 Turku,...

Invitation Invitation Secret Secret 1 1 Algorithms Algorithms are are at at the the heart heart of of complexity complexity theory. theory. That That is is the the dark dark secret secret of of complexity complexity theory. theory. It It is is recognized recognized by by complex- complex- ity ity theorists, theorists, but but would would be be literally literally incredible incredible to to most most others. others. In In this this book, book, we we hope hope to to make make this this secret secret credible. credible. In In fact, fact, the the real real secret secret is is even even more more...