LEADER 00000nam  2200000 a 4500 
001    85027885 
008    851118s1985    wb a     b    100 0 eng   
010    85027885 
020    0387160477 (U.S. : pbk.) 
050 0  QA76.5|b.A445 1985 
082 0  004/.35|219 
245 04 The Analysis of concurrent systems :|bproceedings, 
       Cambridge, September 12-16, 1983 /|cedited by B.T. Denvir 
       ... [et al.] 
260    Berlin ;|aNew York :|bSpringer-Verlag,|cc1985 
300    vii, 398 p. :|bill. ;|c25 cm 
440  0 Lecture notes in computer science ;|v207 
504    Includes bibliographies 
650  0 Parallel processing (Computers)|xCongresses 
650  7 Concurrent systems|2iisf 
700 1  Denvir, B. T 
711 2  Workshop on the Analysis of Concurrent Systems|d(1983 :
       |cCambridge) 
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA75.5 .L42  v.207    AVAILABLE    30340200193237
 Inform. Sci. Series  SerPro C1.2 A532 1983  LNCS 207    LIB USE ONLY    30330000045752