Home

Back

Julian Rathke: BibTex


@inproceedings{JR99-towtbln,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Towards a theory of bisimulation for local names},
  booktitle	= {Proc. 14th Annual Symposium on Logic in Computer Science {LiCS}},
  year		= {1999},
  publisher	= {IEEE Computer Society Press},
  pages		= {56--66},
}