Jeffrey, Alan and Rathke, Julian (2002) A theory of bisimulation for a fragment of concurrent ML with local names
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: 2002
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266078
URI: http://eprints.soton.ac.uk/id/eprint/266078
PURE UUID: f148f23d-31f7-437b-ab43-bc061d5d1423
Catalogue record
Date deposited: 14 Jul 2008 03:42
Last modified: 20 Feb 2024 17:59
Export record
Contributors
Author:
Alan Jeffrey
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.