Books > Computing & IT > Computer programming
|
Buy Now
Extensions of the UNITY Methodology - Compositionality, Fairness and Probability in Parallelism (Paperback, 1995 ed.)
Loot Price: R1,594
Discovery Miles 15 940
|
|
Extensions of the UNITY Methodology - Compositionality, Fairness and Probability in Parallelism (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 908
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.