Home

Back

Julian Rathke: BibTex


@inproceedings{HR02-tbepps,
  author	= {Hennessy, Matthew and Rathke, Julian},
  title		= {Typed Behavioural Equivalences for Processes in the Presence of Subtyping},
  booktitle	= {{Proc. Computing: Australasian Theory  Symposium {CATS}},
  year		= {2002},
}