Home

Back

Julian Rathke: BibTex


@techreport{JR00-ttbln,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Towards a theory of bisimulation for local names},
  year		= {2000},
  institution	= {University of Sussex},
  type		= {Computer Science Report},
  number	= {02-2000},
}