Hennessy, Matthew, Lin, Huimin and Rathke, Julian (2001) Unique fixpoint induction for message-passing process calculi. Science of Computer Programming, 41 (3), 241-275.
Record type:
Article
More information
Published date: November 2001
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266076
URI: http://eprints.soton.ac.uk/id/eprint/266076
PURE UUID: e7fd3cb3-62ac-438e-87da-6c153a7be7b3
Catalogue record
Date deposited: 09 Jul 2008 03:39
Last modified: 14 Mar 2024 08:20
Export record
Contributors
Author:
Matthew Hennessy
Author:
Huimin Lin
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.