Home

Back

Julian Rathke: BibTex


@inproceedings{JR00-tbfcmlln,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {A theory of bisimulation for a fragment of concurrent ML with local names},
  booktitle	= {Proc. 15th Annual Symposium on Logic in Computer Science {LiCS}},
  year		= {2000},
  publisher	= {IEEE Computer Society Press},
  pages		= {311--321},
}