Ciaffaglione, Alberto, Hennessy, Matthew and Rathke, Julian (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus (Lecture Notes in Computer Science 3731, Computer Scienc, Proc.), vol. Proc., Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2005
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266125
URI: http://eprints.soton.ac.uk/id/eprint/266125
PURE UUID: b1ec723f-9efe-4d36-8915-08d9eeb638c0
Catalogue record
Date deposited: 14 Jul 2008 03:53
Last modified: 20 Feb 2024 11:12
Export record
Contributors
Author:
Alberto Ciaffaglione
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.