Home

Back

Julian Rathke: BibTex


@techreport{CHR05-pmbedpc,
  author	= {Ciaffaglione, Alberto and Hennessy, Matthew and Rathke, Julian},
  title		= {Proof methodologies for behavioural equivalence in distributed pi-calculus},
  year		= {2005},
  institution	= {University of Sussex},
  type		= {Computer Science Report},
  number	= {03-2005},
}