Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electronics Notes in Theoretical Computer Science, 250 (2), 103-118. (doi:10.1016/j.entcs.2009.08.020).
Record type:
Article
This record has no associated files available for download.
More information
Published date: September 2009
Additional Information:
Event Dates: 30 September, 1 October
Venue - Dates:
AVoCS 2008, Glasgow, 2008-09-30 - 2008-10-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 268421
URI: http://eprints.soton.ac.uk/id/eprint/268421
ISSN: 1571-0661
PURE UUID: a68d8276-6e97-4563-ba8b-2e2e31271981
Catalogue record
Date deposited: 27 Jan 2010 16:48
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Shamim Ripon
Author:
Michael Butler
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.