Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers.

By:

Baeten, J. C. M

Contributor(s):

Material type: Text

TextSeries: Cambridge tracts in theoretical computer science ; 50.Publication details: Cambridge : Cambridge University Press, ©2010.Description: 1 online resource (xvi, 460 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780511714429
0511714424
9780511712340
0511712340
9781139195003
113919500X
9780511722493
0511722494
1107209595
9781107209596
1282560689
9781282560680
9786612560682
6612560681
0511713177
9780511713170
0511715676
9780511715679

Subject(s): Genre/Form:

Electronic books.

Additional physical formats: Print version:: Process algebra.DDC classification:

004.0151 22

LOC classification:

QA76.58 .B34 2010

Online resources:

Click here to access online

Contents:

Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics.

Review: "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."--Jacket

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes bibliographical references and index.

"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."--Jacket

English.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.