Overview
- A clear introduction into the basic concepts underlying process algebra
- Ample intuitive explanations and motivation for theoretical notions
- Worked-out exercises that help to grasp the text
- Two detailed verifications
- Extensive overviews of related fields
- Includes supplementary material: sn.pub/extras
Part of the book series: Texts in Theoretical Computer Science. An EATCS Series (TTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
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 thorough introduction into the basics of process algebra and its applications.
Authors and Affiliations
Bibliographic Information
Book Title: Introduction to Process Algebra
Authors: Wan Fokkink
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-662-04293-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Hardcover ISBN: 978-3-540-66579-3Published: 23 December 1999
Softcover ISBN: 978-3-642-08584-0Published: 07 December 2010
eBook ISBN: 978-3-662-04293-9Published: 09 March 2013
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: VIII, 168
Topics: Algebra, Mathematics of Computing, Computer Applications, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Symbolic and Algebraic Manipulation