Specification and proof in real-time CSP
By: Jim Davies.
Series: Distinguished dissertations in computer science
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 180
Subjects: Real-time data processing.; Sequential machine theory.
Notes: Originally presented as Ph.D. thesis.

Includes bibliographical references (p. [175]-180).