Home

Back

Julian Rathke: BibTex


@article{JR04-tbfcmlln,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {A theory of bisimulation for a fragment of concurrent ML with local names},
  journal	= {Theoretical Computer Science},
  year		= {2004},
  publisher	= {Elsevier},
  volume	= {323},
  pages		= {1--48},
}