An edition of Extensions of the UNITY methodology (1995)
compositionality, fairness, and probability in parallelism
By Rao, Josyula Ramachandra
Publish Date
1995
Publisher
Springer-Verlag
Language
eng
Pages
178
Description:
subjects: Computer software, Parallel programming (Computer science), Verification, Parallel programming