The University of Southampton
University of Southampton Institutional Repository

Deconstructing behavioural theories of mobility

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
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. pp. 507-520 . (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
Download (192kB)

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×