Some issues in the design of digital circuits using Occam and temporal logic.
Publisher: University of East Anglia
Published: 1990
Place of publication: Norwich
Language: eng
Notes: Thesis (Ph.D), University of East Anglia, School of Information Systems, 1990.