%A Rattray, C. (Charles)
%A British Computer Society
%A BCS-FACS Workshop on Specification and Verification of Concurrent Systems
%T Specification and verification of concurrent systems
%I Springer-Verlag
%D 1990
%S Workshops in computing
%V 
%U http://ci.nii.ac.jp/ncid/BA10793637