Jeffrey, Alan and Rathke, Julian (2003) Contextual equivalence for higher-order pi-calculus revisited (Lecture Notes in Computer Science, Proc.), vol. Proc., Elsevier
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2003
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266118
URI: http://eprints.soton.ac.uk/id/eprint/266118
PURE UUID: 98d8e138-b0a8-42c6-91a5-21e0d9187a23
Catalogue record
Date deposited: 14 Jul 2008 03:48
Last modified: 04 Jan 2024 04:24
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.
Loading...
