Home

Back

Julian Rathke: BibTex


@techreport{JR02-cehopcr,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Contextual equivalence for higher-order pi-calculus revisited},
  year		= {2002},
  institution	= {University of Sussex},
  type		= {Computer Science Report},
  number	= {04-2002},
}