Deconstructing behavioural theories of mobility


Rathke, Julian and Sobocinski, Pawel (2008) Deconstructing behavioural theories of mobility. In, Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milano, IT, , 507-520. (doi:10.1007/978-0-387-09680-3_34).

Download

[img] PDF
Download (187Kb)

Description/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

Item Type: Conference or Workshop Item (Paper)
ISBNs: 9780387096797
9780387096803 (electronic)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266824
Date Deposited: 23 Oct 2008 15:09
Last Modified: 28 Mar 2014 15:11
Projects:
Unknown (EP/D066565/1)
Funded by: EPSRC (EP/D066565/1)
UNSPECIFIED to UNSPECIFIED
Further Information:Google Scholar
ISI Citation Count:3
URI: http://eprints.soton.ac.uk/id/eprint/266824

Actions (login required)

View Item View Item

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