Process Algebra

Process Algebra

Equational Theories of Communicating Processes

eBook - 2010
Rate this:
"Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation." "The authors describe the theory underlying the development, realization, and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit communication Protocol, and Fischer's Protocol of mutual exclusion." "The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate."--BOOK JACKET.
Publisher: Cambridge : Cambridge University Press, c2010
ISBN: 9780511712340
0511712340
9780511714429
0511714424
9786612560682
6612560681
0521820499
9780521820493
Characteristics: 1 online resource (xvi, 460 p.) : ill

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age

Add Age Suitability

There are no ages for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Recommendations

Subject Headings

  Loading...

Find it at RPL

  Loading...
[]
[]
To Top