Hennessy, Matthew and Rathke, Julian (2002) Typed behavioural equivalences for processes in the presence of subtyping (Electronic Notes in Theoretical Computer Science, 61), vol. 61, Elsevier
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2002
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266083
URI: http://eprints.soton.ac.uk/id/eprint/266083
PURE UUID: e7300004-ea14-4ff3-b409-c6667df35344
Catalogue record
Date deposited: 14 Jul 2008 03:45
Last modified: 04 Jan 2024 04:24
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.