Technical reports

Global/local subtyping for a distributed π-calculus

Peter Sewell

August 1997, 57 pages

Full text

PS (0.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-435,
  author =	 {Sewell, Peter},
  title = 	 {{Global/local subtyping for a distributed $\pi$-calculus}},
  year = 	 1997,
  month = 	 aug,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-435.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-435}
}