Full abstraction for Polymorphic Pi-Calculus
Full abstraction for Polymorphic Pi-Calculus
Jeffrey, Alan
d79c647d-86f4-43f2-94d0-78be65748331
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
2005
Jeffrey, Alan
d79c647d-86f4-43f2-94d0-78be65748331
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Jeffrey, Alan and Rathke, Julian
(2005)
Full abstraction for Polymorphic Pi-Calculus
(Lecture Notes in Computer Science, Proc.),
vol. Proc.,
Springer
This record has no associated files available for download.
More information
Published date: 2005
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266123
URI: http://eprints.soton.ac.uk/id/eprint/266123
PURE UUID: 1ee1eb9d-3180-4a71-ac72-5963f50b8261
Catalogue record
Date deposited: 14 Jul 2008 03:51
Last modified: 20 Feb 2024 11:12
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.
View more statistics