Introduction to Process Algebra

Front Cover
Springer Science & Business Media, 2000 - Computers - 163 pages
2 Reviews
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.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Introduction
1
2 Basic Process Algebra
7
22 Transition Rules for BPA
8
23 Bisimulation Equivalence
10
24 Axioms for BPA
12
3 Algebra of Communicating Processes
17
32 Left Merge and Communication Merge
19
33 Axioms for PAP
20
62 Bounded Retransmission Protocol
78
63 Specification and Verification Techniques
88
64 Tools
92
7 Extensions
97
72 State Operator
99
73 Priorities
105
A Equational Logic
109
A2 Axiomatisations
110

34 Deadlock and Encapsulation
25
4 Recursion
31
42 Transition Rules for Guarded Recursion
33
43 Recursive Definition and Specification Principles
36
44 Completeness for Regular Processes
39
45 Approximation Induction Principle
42
5 Abstraction
47
52 Guarded Linear Recursion Revisited
51
53 Axioms for the Silent Step
53
54 Abstraction Operators
57
55 An Example with Queues
60
56 Cluster Fair Abstraction Rule
63
6 Protocol Verifications
69
A3 Initial Models
111
A4 Term Rewriting
113
B Structural Operational Semantics
119
B2 The Meaning of Negative Premises
121
B3 Bisimulation as a Congruence
125
B4 Branching Bisimulation as a Congruence
128
B5 Conservative Extension
131
B6 Modal Logics
133
Solutions to Selected Exercises
137
References
151
Index
161
Copyright

Common terms and phrases

References to this book

All Book Search results »

About the author (2000)

Wan Fokkink is Professor of Theoretical Computer Science at the VU University, Amsterdam, and Professor of Stochastics Design at Eindhoven University for Technology.