Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de abril de 1995 |
| ISBN13 | 9783540591733 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 178 |
| Dimensiones | 156 × 234 × 10 mm · 281 g |
| Lengua | Inglés |