Home

Back

Julian Rathke: BibTex


@inproceedings{CHR-pmbedpc,
  author	= {Ciaffaglione, Alberto and Hennessy, Matthew and Rathke, Julian},
  title		= {Proof methodologies for behavioural equivalence in distributed pi-calculus},
  booktitle	= {Proc. Formal Techniques for Networked and Distributed Systems - FORTE 2005},
  year		= {2005},
  series	= {Lecture Notes in Computer Science},
  volume	= {3731},
  publisher	= {Springer-Verlag},
}