005.12  / J254s <br/>
Janicki, Ryszard <br/>
       Specification and analysis of concurrent systems : the COSY approach 
 / Ryszard Janicki and Peter E. Lauer 
 .- Berlin: Springer-Verlag,  1992 
 .- xii, 480p. . 
.- (  V.26 Eatcs Monographs On Theoretical Computer Science     
<br><u>ISBN:</u> 3540552049 
<br/><u>Subject Headings:</u> <br/>Parallel Processing (Electronic Computers);
<br/><U>Author Added Entry: </u><br/>Lauer. Peter E.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A115039</b>, Full Call No.: 005.12 J254s,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>