Introduction to Process Algebra

Wan Fokkink (Autor)

Buch | Softcover

VIII, 168 Seiten

2010
Springer Berlin (Verlag)
9783642085840 (ISBN)

Artikel merken

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 thorough introduction into the basics of process algebra and its applications.

1. Introduction.- 2. Basic Process Algebra.- 3. Algebra of Communicating Processes.- 4. Recursion.- 5. Abstraction.- 6. Protocol Verifications.- 7. Extensions.- A. Equational Logic.- B. Structural Operational Semantics.- Solutions to Selected Exercises.- References.

Erscheint lt. Verlag	7.12.2010
Reihe/Serie	Texts in Theoretical Computer Science. An EATCS Series
Zusatzinfo	VIII, 168 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	279 g
Themenwelt	Mathematik / Informatik ► Informatik
Themenwelt	Mathematik / Informatik ► Mathematik ► Algebra
Schlagworte	Algebra • Algebraic Specification • Concurrency • Hardware • Logic • Model Checking • Operational Semantics • Process Algebra • Semantics • Term Rewriting • verification
ISBN-13	9783642085840 / 9783642085840
Zustand	Neuware