Home

Back

Julian Rathke: BibTex


@article{HR04-tbepps,
  author	= {Hennessy, Matthew and Rathke, Julian},
  title		= {Typed Behavioural Equivalences for Processes in the Presence of Subtyping},
  journal	= {Mathematical Structures in Computer Science},
  publisher	= {Cambridge University Press},
  year		= {2004},
  volume	= {14},
  pages		= {651--684},
}