Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) |
| Author: Wan Fokkink
Publisher: Springer
Category: Book
List Price: $69.95
Buy New: $53.17
You Save: $16.78 (24%)
New (13) Used (9) from $53.17
Avg. Customer Rating:  1 reviews
Sales Rank: 676279
Media: Hardcover
Edition: 1
Number Of Items: 1
Pages: 163
Shipping Weight (lbs): 0.7
Dimensions (in): 9.5 x 6.3 x 0.5
ISBN: 354066579X
Dewey Decimal Number: 004
EAN: 9783540665793
ASIN: 354066579X
Publication Date: February 3, 2000
Availability: Usually ships in 1-2 business days
Condition: BRAND NEW
|
|
Also Available In:
|
|
Similar Items:
|
|
Editorial Reviews:
Product Description
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.
|
|
Customer Reviews:
Wondefully well written July 20, 2000
12 out of 13 found this review helpful
This is a delightful new presentation of Process Algebra, which was much needed since the classic text by Baeten and Weijland is getting outdated. In comparison, I find Fokkink's text more easy to digest, more precise and going significantly further. Indeed, it should be for a theory that has evolved rapidly in the last decade. Process Algebra is on its way to become the tool to build full-proof software that will lead us out of the present day software jungle. I have used this text in my one semester class in Trier and can recommend it to any serious student of computer science.
|
