Opening book details…
Can I read Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) on EtoBox?
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) by Wan Fokkink is a mathematics available to read on EtoBox.
What is Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) about?
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 al
Who reads Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Wan Fokkink
- Publisher
- Springer Berlin Heidelberg
- Published
- 2000
- Language
- EN
- ISBN
- 9783662042939
- Category
- mathematics
- Subjects
- Computer Science, Science, Business
- Updated
- 2026-03-16
Other editions & translations
More by Wan Fokkink
Browse all works by Wan Fokkink
Similar books
- Introduction to Circuit Complexity || — Dr. Heribert Vollmer (auth.) (1999)
- Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) — Wan Fokkink (2007)
- Computable Analysis: An Introduction (Texts in Theoretical Computer Science. An EATCS Series) — Klaus Weihrauch (2000)
- Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) — Roberto Gorrieri, Cristian Versari (auth.) (2015)
- Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series) — Ernst-Erich Doberkat (2010)
- Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series) — Eric Badouel, Luca Bernardinello, Philippe Darondeau (auth.) (2015)
