A denotational semantics for concurrent Ada programs
By: by Ian Mearns
Contributors: University of Manchester
Published: 1983
Language: eng
Notes: BLDSC reference no.: D56436/85.

Thesis (doctoral)--University of Manchester, 1983.