Specification and proof in real-time CSP /

Bibliographic Details

Main Author:	Davies, Jim, 1964-
Format:	Thesis Book
Language:	English
Published:	Cambridge : Cambridge University Press, 1993.
Series:	Distinguished dissertations in computer science.
Subjects:	Real-time data processing. Sequential machine theory.