TY  - BOOK
T1  - Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism
T2  - Lecture notes in computer science
A1  - Rao, Josyula Ramachandra 1962-
LA  - English
PP  - Berlin
PB  - Springer
YR  - 1995
UL  - https://tuklas.up.edu.ph/Record/UP-99796217603068375
OP  - 178
CN  - QA 76.642 R36 1995
SN  - 3540591737
KW  - Parallel programming.
KW  - Computer software : Verification.
ER  -