skip to content
Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism Preview this item
ClosePreview this item
Checking...

Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism

Author: Josyula R Rao
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995.
Series: Lecture notes in computer science, 908.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s as a formalism aiding in the specification and verification of parallel programs. The author develops the  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Josyula R Rao
ISBN: 9783540591733 3540591737
OCLC Number: 699835072
Description: 1 online resource (Online-Ressource.)
Contents: Prologue.- Preliminaries.- An introduction to UNITY.- The role of commutativity in parallel program design.- On the design of proof rules for fair parallel programs.- Reasoning about probabilistic parallel programs.- Eventual determinism: Using probabilistic means to achieve deteministic ends.- Epilogue.
Series Title: Lecture notes in computer science, 908.
Responsibility: by Josyula R. Rao.
More information:

Reviews

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/699835072> # Extensions of the UNITY Methodology Compositionality, Fairness and Probability in Parallelism
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "699835072" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865008277#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/1132103> ; # Statistics
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/895600> ; # Distribution (Probability theory)
   schema:about <http://dewey.info/class/005.2/> ;
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/85540058> ; # Josyula R. Rao
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/865008277> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865008277#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Extensions of the UNITY Methodology Compositionality, Fairness and Probability in Parallelism" ;
   schema:productID "699835072" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/699835072#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/865008277#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://www.springerlink.com/content/g576447505r3> ;
   schema:url <http://dx.doi.org/10.1007/3-540-59173-7> ;
   schema:url <http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-59173-3> ;
   schema:workExample <http://worldcat.org/isbn/9783540591733> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/699835072> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/865008277#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/865008277#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/865008277#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/699835072> ; # Extensions of the UNITY Methodology Compositionality, Fairness and Probability in Parallelism
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/1132103> # Statistics
    a schema:Intangible ;
   schema:name "Statistics" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/895600> # Distribution (Probability theory)
    a schema:Intangible ;
   schema:name "Distribution (Probability theory)" ;
    .

<http://viaf.org/viaf/85540058> # Josyula R. Rao
    a schema:Person ;
   schema:familyName "Rao" ;
   schema:givenName "Josyula R." ;
   schema:name "Josyula R. Rao" ;
    .

<http://worldcat.org/isbn/9783540591733>
    a schema:ProductModel ;
   schema:isbn "3540591737" ;
   schema:isbn "9783540591733" ;
    .

<http://www.worldcat.org/title/-/oclc/699835072>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/699835072> ; # Extensions of the UNITY Methodology Compositionality, Fairness and Probability in Parallelism
   schema:dateModified "2017-09-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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