Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism by Josyula R. RaoExtensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism by Josyula R. Rao

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

byJosyula R. Rao

Paperback | April 6, 1995

Pricing and Purchase Info

$104.20 online 
$116.95 list price save 10%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions.This treatise further develops the ideas behind UNITY in order to explore and understand the potential and limitations of this approach: first UNITY is applied to formulate and tackle problems in parallelism such as compositionality; second, the logic and notation of UNITY is generalized in order to increase its range of applicability; finally, paradigms and abstractions useful for the design of probabilistic parallel algorithms are developed. Taken together the results presented reaffirm the promise of UNITY as a versatile medium for treating many problems of parallelism.
Title:Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in ParallelismFormat:PaperbackDimensions:189 pages, 9.25 × 6.1 × 0.03 inPublished:April 6, 1995Publisher:Springer Berlin Heidelberg

The following ISBNs are associated with this title:

ISBN - 10:3540591737

ISBN - 13:9783540591733

Look for similar items by category:

Reviews