Extensions of the UNITY methodology
Subtitle: compositionality, fairness, and probability in parallelism
By: Josyula Ramachandra Rao.
Series: Lecture notes in computer science ;; 908
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 178
Subjects: Parallel programming (Computer science); Computer software -- Verification
Notes: Includes bibliographical references (p. [169]-173) and index.