TY - BOOK AU - Rattray, C. (Charles) AU - British Computer Society AU - BCS-FACS Workshop on Specification and Verification of Concurrent Systems TI - Specification and verification of concurrent systems PB - Springer-Verlag PY - 1990 T2 - Workshops in computing EP - viii, 612 p. UR - http://ci.nii.ac.jp/ncid/BA10793637 SN - 3540195815 SN - 0387195815 ER -