Hennessy, Matthew and Rathke, Julian (2004) Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science, 14 (5), 651-684.
Record type:
Article
This record has no associated files available for download.
More information
Published date: October 2004
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266121
URI: http://eprints.soton.ac.uk/id/eprint/266121
PURE UUID: 3fbd2139-4806-43f8-9e45-c1bfa43f4cf0
Catalogue record
Date deposited: 14 Jul 2008 03:50
Last modified: 08 Jan 2022 08:54
Export record
Contributors
Author:
Matthew Hennessy
Author:
Julian Rathke
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.