Tell your friends about this item:
Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science Josyula R. Rao 1995 edition
Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science
Josyula R. Rao
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 ideas behind UNITY in order to understand the potential and limitations of this approach.
178 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 6, 1995 |
| ISBN13 | 9783540591733 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 178 |
| Dimensions | 156 × 234 × 10 mm · 281 g |
| Language | English |