Proof techniques for CCS
By: Michael Thomas Sanderson.
Publisher: University of Edinburgh, Dept. of Computer Science
Published: 1982
Place of publication: Edinburgh, U.K
Language: eng
Number of pages: 167
Subjects: Theoretical computer science.
Notes: Degree awarded 1983.

Thesis (Ph. D.)--University of Edinburgh, 1982.

Bibliography: p. 165-167.