000 00545pam a2200169a 44500
008 160408bc1989 xxu||||| |||| 00| 0 eng d
020 _a3540515259
082 _a001.64
_bL497
100 _a
245 1 _aLECTUER NOTES IN COMPUTER SCIENCE ; FINITE REPRESENTATION OF CCS AND TCSP PROGRAMS BY AUTOMATA AND PETRI NETS
_bV. 369
260 _a
_bSpringer-Verlag, Berlin
_cc1989
300 _ax,168
964 _gCIRC
997 _aA106350 C
440 _aLecture Notes in computer science
856 _uhttp://link.springer.com/bookseries/558
999 _c341541
_d341541