skip to content
Modelling distributed systems Preview this item
ClosePreview this item
Checking...

Modelling distributed systems

Author: Wan Fokkink
Publisher: Berlin : Springer, 2007.
Series: Texts in theoretical computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Wan Fokkink
ISBN: 9783540739371 3540739378
OCLC Number: 172976997
Description: viii, 151 pages : illustrations ; 24 cm.
Contents: 2 Abstract Data Types 5 --
2.1 Algebraic Specification 5 --
2.2 Term Rewriting 9 --
2.3 Equality Functions 10 --
2.4 Induction 11 --
3 Process Algebra 13 --
3.1 Actions 13 --
3.2 Alternative and Sequential Composition 14 --
3.3 Parallel Processes 16 --
3.4 Deadlock and Encapsulation 18 --
3.5 Process Declarations 21 --
3.6 Conditionals 22 --
3.7 Summation over a Data Type 22 --
3.8 An Example: The Bag 24 --
3.9 Renaming 25 --
3.10 Bisimilarity 25 --
4 Hiding Internal Transitions 29 --
4.1 Hiding of Actions 29 --
4.3 An Example: Two One-Bit Buffers in Sequence 31 --
4.4 Branching Bisimilarity 34 --
5 Protocol Specifications 41 --
5.1 Alternating Bit Protocol 41 --
5.2 Bounded Retransmission Protocol 45 --
5.3 Sliding Window Protocol 52 --
5.4 Tree Identify Protocol 57 --
5.5 Movable Patient Support for an MRI Scanner 63 --
6 Linear Process Equations 69 --
6.1 Linearisation 70 --
6.2 State Space Generation and Storage 74 --
6.3 CL-RSP 76 --
6.4 Invariants 77 --
7 Verification Algorithms on State Spaces 81 --
7.1 Minimisation Modulo Branching Bisimulation 81 --
7.2 Confluence 83 --
7.3 Model Checking 86 --
7.4 Abstraction 94 --
8 Symbolic Methods 101 --
8.1 Cones and Foci 101 --
8.2 Verification of the Tree Identify Protocol 104 --
8.3 Partial Order Reduction 107 --
8.4 Elimination of Parameters and Sum Variables 112 --
8.5 Symbolic Model Checking 116 --
A The [mu]CRL Toolset in a Nutshell 125.
Series Title: Texts in theoretical computer science.
Responsibility: Wan Fokkink.
More information:

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "The main goal of this book is to introduce novel techniques for the formal description and analysis of distributed systems. The book covers three areas connected with the modelling Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/172976997> # Modelling distributed systems
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "172976997" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/114008365#Place/berlin> ; # Berlin
   schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
   schema:about <http://dewey.info/class/004.35/e22/> ;
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://id.worldcat.org/fast/1765704> ; # Parallel programs (Computer programs)--Verification
   schema:about <http://id.loc.gov/authorities/subjects/sh2006001440> ; # Parallel programs (Computer programs)--Verification
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/114008365#Topic/traitement_reparti> ; # Traitement réparti
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/114008365#Person/fokkink_wan_1965> ; # Wan Fokkink
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/114008365> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/114008365#Series/texts_in_theoretical_computer_science> ; # Texts in theoretical computer science.
   schema:name "Modelling distributed systems"@en ;
   schema:productID "172976997" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/172976997#PublicationEvent/berlin_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/114008365#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1201/2007933179-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9783540739371> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/172976997> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/114008365#Person/fokkink_wan_1965> # Wan Fokkink
    a schema:Person ;
   schema:birthDate "1965" ;
   schema:familyName "Fokkink" ;
   schema:givenName "Wan" ;
   schema:name "Wan Fokkink" ;
    .

<http://experiment.worldcat.org/entity/work/data/114008365#Series/texts_in_theoretical_computer_science> # Texts in theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/172976997> ; # Modelling distributed systems
   schema:name "Texts in theoretical computer science." ;
   schema:name "Texts in theoretical computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallelisme_informatique> # Parallélisme (Informatique)
    a schema:Intangible ;
   schema:name "Parallélisme (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/114008365#Topic/traitement_reparti> # Traitement réparti
    a schema:Intangible ;
   schema:name "Traitement réparti"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh2006001440> # Parallel programs (Computer programs)--Verification
    a schema:Intangible ;
   schema:name "Parallel programs (Computer programs)--Verification"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042293> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/1765704> # Parallel programs (Computer programs)--Verification
    a schema:Intangible ;
   schema:name "Parallel programs (Computer programs)--Verification"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://worldcat.org/isbn/9783540739371>
    a schema:ProductModel ;
   schema:isbn "3540739378" ;
   schema:isbn "9783540739371" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.