Deriving structural labelled transitions for mobile ambients
Deriving structural labelled transitions for mobile ambients
462-476
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
2008
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Rathke, Julian and Sobocinski, Pawel
(2008)
Deriving structural labelled transitions for mobile ambients.
19th International Conference on Concurrency Theory (CONCUR), Toronto.
.
Record type:
Conference or Workshop Item
(Paper)
Text
concurFinal.pdf
- Other
More information
Published date: 2008
Additional Information:
Event Dates: Aug 2008
Venue - Dates:
19th International Conference on Concurrency Theory (CONCUR), Toronto, 2008-08-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266825
URI: http://eprints.soton.ac.uk/id/eprint/266825
PURE UUID: 25490452-5c49-4ecb-8e65-531dfbcb63f3
Catalogue record
Date deposited: 23 Oct 2008 15:15
Last modified: 14 Mar 2024 08:35
Export record
Contributors
Author:
Julian Rathke
Author:
Pawel Sobocinski
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