Image from Google Jackets

Modelling distributed systems / Wan Fokkink.

By:

Fokkink, Wan, 1965-

Material type: Text

TextSeries: Texts in theoretical computer sciencePublication details: Berlin : New Delhi : New Age Ingernational, Springer, 2010.Description: viii, 151 p. : ill. ; 24 cmISBN:

9788184894133

Subject(s):

DDC classification:

004.35 22 FOK

LOC classification:

QA76.58 .F65 2007

Online resources:

Table of contents only

Contents:

Counter 1. Introduction.- 2. Abstract Data Types.- 3. Process Algebra.- 4. Hiding Internal Transitions.- 5. Protocol Specifications.- 6. Linear Process Equations.- 7. Verification Algorithms on State Spaces.- 8. Symbolic Methods.- A. The µCRL Toolset in a Nutshell.- Solutions to Exercises.- References.- Index.

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	Learning Resource Centre	004.35 FOK (Browse shelf(Opens below))	Available		8605

Total holds: 0

Includes bibliographical references and index.

Counter
1. Introduction.-
2. Abstract Data Types.-
3. Process Algebra.-
4. Hiding Internal Transitions.-
5. Protocol Specifications.-
6. Linear Process Equations.-
7. Verification Algorithms on State Spaces.-
8. Symbolic Methods.-
A. The µCRL Toolset in a Nutshell.-
Solutions to Exercises.-
References.-
Index.

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)