Specification and proof in real-time CSP
By: Jim Davies.
Series: Distinguished dissertations in computer science
Publisher: University of Cambridge Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 180
Subjects: Real-time data processing.
Notes: Includes bibliographical references (p. [175]-180).