Modelling distributed systems / Wan Fokkink.

By:

Fokkink, Wan

Material type:

TextSeries: Texts in theoretical computer science. an eatcs seriesPublication details: New Delhi : Springer, 2007.Description: viii,51 p. ; (R 15 SH 3)ISBN:

3642093213 (paperback)
9783642093210 (paperback)

DDC classification:

004.35

Online resources:

Amazon.com

Summary: This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs �CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

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	Current library	Collection	Call number	Status	Barcode
Book	Air University Multan Campus Library	NFIC	004.35 (Browse shelf(Opens below))	Available	P001051

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs �CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

There are no comments on this title.

to post a comment.