denotational semantics for concurrent Ada programs.
Series: Technical report series -- UMCS-83-10-1
Publisher: Dept. of Computer Science, Univ. of Manchester
Published: 1983
Place of publication: Manchester
Language: eng
Number of pages: 136
Notes: Thesis (Ph. D).