A non-interleaving process calculus for multi-party synchronisation
A non-interleaving process calculus for multi-party synchronisation
Soboci\'nski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
2009
Soboci\'nski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Soboci\'nski, Pawel
(2009)
A non-interleaving process calculus for multi-party synchronisation.
ICE '09.
Record type:
Conference or Workshop Item
(Paper)
Text
ice09.pdf
- Accepted Manuscript
More information
Published date: 2009
Venue - Dates:
ICE '09, 2009-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 271013
URI: http://eprints.soton.ac.uk/id/eprint/271013
PURE UUID: 64556272-d83d-4f01-ba16-845a52ee67e7
Catalogue record
Date deposited: 06 May 2010 16:42
Last modified: 14 Mar 2024 09:20
Export record
Contributors
Author:
Pawel Soboci\'nski
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