Home

Back

Julian Rathke: BibTex


@techreport{JR02-tbfcmlln,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {A theory of bisimulation for a fragment of concurrent ML with local names},
  year		= {2002},
  institution	= {University of Sussex},
  type		= {Computer Science Report},
  number	= {02-2002},
}