Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /

"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...

Full description

Bibliographic Details

Main Author:	Rao, Josyula Ramachandra, 1962-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 908.
Subjects:	Parallel programming (Computer science) Computer software > Verification. vérification programme. programmation parallèle. UNITY. Logiciels > Vérification. Programmation parallèle (Informatique) Programmatuurtechniek. Programmation parallèle (informatique) Logiciels > Essais. Parallelverarbeitung. Programmierung. Electronic books. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book