CaTZ
Subtitle: a language for the specification of timed concurrent programs
By: Douglas Chester.
Publisher: typescript
Published: 1995
Place of publication: [s.l.]
Language: eng
Notes: Thesis (M.Phil.) - University of Warwick, 1995.