Computer Laboratory

Technical reports

Operational congruences for reactive systems

James Leifer

September 2001, 144 pages

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

Full text

PS (0.9 MB)

BibTeX record

@TechReport{UCAM-CL-TR-521,
  author =	 {Leifer, James},
  title = 	 {{Operational congruences for reactive systems}},
  year = 	 2001,
  month = 	 sep,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-521.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-521}
}