Specification and verification of concurrent systems : Papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / Workshop on specification and verification of concurrent systems (1988 ; Stirling), 1990. - VIII, 612 p. мкф. - Текст : непосредственный.