skip to content
Understanding concurrent systems Preview this item
ClosePreview this item
Checking...

Understanding concurrent systems

Author: A W Roscoe
Publisher: London ; New York : Springer, ©2010.
Series: Texts in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

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: A W Roscoe
ISBN: 9781848822573 184882257X 9781848822580 1848822588
OCLC Number: 462920890
Description: xviii, 527 pages : illustrations ; 25 cm.
Contents: Building a simple sequential process --
Understanding CSP --
Parallel operators --
CSP case studies --
Hiding and renaming --
Beyond traces --
Further operators --
Using FDR --
Operational semantics --
Denotational semantics and behavioural models --
Finite observation models --
Infinite-behaviour models --
The algebra of CSP --
Timed systems 1 : tock-CSP --
Timed systems 2 : discrete timed CSP --
More about FDR --
State explosion and parameterised verification --
Shared-variable programs --
Understanding shared-variable concurrency --
Priority and mobility.
Series Title: Texts in computer science.
Responsibility: A.W. Roscoe.

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This book is divided into four parts ... . Part I is designed for an audience of both undergraduate and graduate computer science students. ... Part II is designed for people who 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/462920890> # Understanding concurrent systems
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "462920890" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://dewey.info/class/004.35/e22/> ;
   schema:about <http://id.worldcat.org/fast/1112897> ; # Sequential processing (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2010" ;
   schema:creator <http://viaf.org/viaf/45727431> ; # A. W. Roscoe
   schema:datePublished "2010" ;
   schema:description "Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/346872458> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/346872458#Series/texts_in_computer_science> ; # Texts in computer science.
   schema:isPartOf <http://worldcat.org/issn/1868-0941> ; # Texts in computer science,
   schema:name "Understanding concurrent systems"@en ;
   schema:productID "462920890" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/462920890#PublicationEvent/london_new_york_springer_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/346872458#Agent/springer> ; # Springer
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/9781848822580> ;
   schema:workExample <http://worldcat.org/isbn/9781848822573> ;
   schema:workExample <http://worldcat.org/isbn/9781848822580> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB009954> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/462920890> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/346872458#Series/texts_in_computer_science> # Texts in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/462920890> ; # Understanding concurrent systems
   schema:name "Texts in computer science." ;
    .

<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/1112897> # Sequential processing (Computer science)
    a schema:Intangible ;
   schema:name "Sequential processing (Computer science)"@en ;
    .

<http://rave.ohiolink.edu/ebooks/ebc/9781848822580>
   rdfs:comment "Connect to electronic resource" ;
    .

<http://viaf.org/viaf/45727431> # A. W. Roscoe
    a schema:Person ;
   schema:familyName "Roscoe" ;
   schema:givenName "A. W." ;
   schema:name "A. W. Roscoe" ;
    .

<http://worldcat.org/isbn/9781848822573>
    a schema:ProductModel ;
   schema:isbn "184882257X" ;
   schema:isbn "9781848822573" ;
    .

<http://worldcat.org/isbn/9781848822580>
    a schema:ProductModel ;
   schema:isbn "1848822588" ;
   schema:isbn "9781848822580" ;
    .

<http://worldcat.org/issn/1868-0941> # Texts in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/462920890> ; # Understanding concurrent systems
   schema:issn "1868-0941" ;
   schema:name "Texts in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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