Deconstructing behavioural theories of mobility
Deconstructing behavioural theories of mobility
We re-examine the standard structural operational semantics of the π-calculus with the view that both process structure and contextual observational power should play roles in describing the behavioural theory. To that end we provide a decomposition of the operational semantics of π which allows for a systematic definition of labelled transitions. These are derived from the calculus’ underlying reduction rules by following the contexts-as-labels philosophy while being presented using the structural approach. Our novel transition system refines to a composite description of the standard early lts. We generalise our technique to higher-order and asynchronous variants.
978-0-387-09679-7
507-520
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)
Deconstructing behavioural theories of mobility.
Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milano, Italy.
.
(doi:10.1007/978-0-387-09680-3_34).
Record type:
Conference or Workshop Item
(Paper)
Abstract
We re-examine the standard structural operational semantics of the π-calculus with the view that both process structure and contextual observational power should play roles in describing the behavioural theory. To that end we provide a decomposition of the operational semantics of π which allows for a systematic definition of labelled transitions. These are derived from the calculus’ underlying reduction rules by following the contexts-as-labels philosophy while being presented using the structural approach. Our novel transition system refines to a composite description of the standard early lts. We generalise our technique to higher-order and asynchronous variants.
Text
RathkeDeconstructing.pdf
- Other
More information
Published date: 2008
Additional Information:
Funded by EPSRC: Foundations of Process Calculi and Contextual Systems (EP/D066565/1)
Venue - Dates:
Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milano, Italy, 2008-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266824
URI: http://eprints.soton.ac.uk/id/eprint/266824
ISBN: 978-0-387-09679-7
PURE UUID: 9af15cd5-44ac-49cd-9c50-973c3140c89c
Catalogue record
Date deposited: 23 Oct 2008 15:09
Last modified: 14 Mar 2024 08:36
Export record
Altmetrics
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