Rao, Josyula Ramachandra <br/><br/>
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism 
Josyula Ramachandra Rao 
 - Berlin  Springer-Verlag  c1995 
 - xi, 178 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [169]-173) and index 
<br/><br/><label>ISBN: </label>387591737 
<br/><br/><label>ISSN: </label>95010413 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Verification<br/>Parallel programming (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.35 RAO