Computer Laboratory

Technical reports

General theory relating to the implementation of concurrent symbolic computation

James Thomas Woodchurch Clarke

August 1989, 113 pages

This technical report is based on a dissertation submitted January 1989 by the author for the degree of Doctor of Philosophy to the University of Cambridge, Trinity College.

Full text

Only available on paper (could be scanned on request).

BibTeX record

@TechReport{UCAM-CL-TR-174,
  author =	 {Clarke, James Thomas Woodchurch},
  title = 	 {{General theory relating to the implementation of
         	   concurrent symbolic computation}},
  year = 	 1989,
  month = 	 aug,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-174}
}