Home

Back

Julian Rathke: BibTex


@article{JR05-cehopcr,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Contextual equivalence for higher-order pi-calculus revisited},
  year		= {2005},
  journal	= {Logical Methods in Computer Science},
  publisher	= {LMCS-Online},
  volume	= {1(1:4)},
}