Home

Back

Julian Rathke: BibTex


@inproceedings{JR03-cehopcr,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Contextual equivalence for higher-order pi-calculus revisited},
  year		= {2003},
  booktitle	= {Proc. Mathematical Foundations of Programming Semantics {MFPS}},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
}