skip to content
Algebraic specification of communication protocols Preview this item
ClosePreview this item
Checking...

Algebraic specification of communication protocols

Author: S Mauw; G J Veltink
Publisher: Cambridge : Cambridge University Press, 2008.
Series: Cambridge tracts in theoretical computer science, 36.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.

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

Document Type: Book
All Authors / Contributors: S Mauw; G J Veltink
ISBN: 9780521088121 0521088127 9780521418836 0521418836
OCLC Number: 244767799
Notes: Originally published: 1993.
Description: pages
Contents: 1. Introduction; 2. Algebraic specifications in PSF; 3. Simple protocols; 4. Sliding window protocols; 5. The amoeba transaction protocol; 6. Two simple protocols for local area networks; 7. The token ring protocol; The PSF library.
Series Title: Cambridge tracts in theoretical computer science, 36.
Responsibility: edited by S. Mauw, G.J. Veltink.

Reviews

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

Tags

Be the first.

Similar Items

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/244767799> # Algebraic specification of communication protocols
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "244767799" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/895792161#Place/cambridge> ; # Cambridge
    schema:about <http://id.worldcat.org/fast/872279> ; # Computer network protocols
    schema:about <http://experiment.worldcat.org/entity/work/data/895792161#Topic/computer_network_protocols> ; # Computer network protocols
    schema:about <http://dewey.info/class/004.62/e22/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/56712180> ; # G. J. Veltink
    schema:contributor <http://viaf.org/viaf/59186302> ; # S. Mauw
    schema:datePublished "2008" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/895792161> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/895792161#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
    schema:name "Algebraic specification of communication protocols"@en ;
    schema:productID "244767799" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/244767799#PublicationEvent/cambridge_cambridge_university_press_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/895792161#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:workExample <http://worldcat.org/isbn/9780521418836> ;
    schema:workExample <http://worldcat.org/isbn/9780521088121> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA8A7324> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/244767799> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/895792161#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/895792161#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/244767799> ; # Algebraic specification of communication protocols
    schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/895792161#Topic/computer_network_protocols> # Computer network protocols
    a schema:Intangible ;
    schema:name "Computer network protocols"@en ;
    .

<http://id.worldcat.org/fast/872279> # Computer network protocols
    a schema:Intangible ;
    schema:name "Computer network protocols"@en ;
    .

<http://viaf.org/viaf/56712180> # G. J. Veltink
    a schema:Person ;
    schema:familyName "Veltink" ;
    schema:givenName "G. J." ;
    schema:name "G. J. Veltink" ;
    .

<http://viaf.org/viaf/59186302> # S. Mauw
    a schema:Person ;
    schema:familyName "Mauw" ;
    schema:givenName "S." ;
    schema:name "S. Mauw" ;
    .

<http://worldcat.org/isbn/9780521088121>
    a schema:ProductModel ;
    schema:isbn "0521088127" ;
    schema:isbn "9780521088121" ;
    .

<http://worldcat.org/isbn/9780521418836>
    a schema:ProductModel ;
    schema:isbn "0521418836" ;
    schema:isbn "9780521418836" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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