Technical reports

From rewrite rules to bisimulation congruences

Peter Sewell

May 1998, 72 pages

Full text

PS (0.3 MB)

BibTeX record

@TechReport{UCAM-CL-TR-444,
  author =	 {Sewell, Peter},
  title = 	 {{From rewrite rules to bisimulation congruences}},
  year = 	 1998,
  month = 	 may,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-444.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-444}
}