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).


[img] PDF
Download (187Kb)


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)
Digital Object Identifier (DOI): doi:10.1007/978-0-387-09680-3_34
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
Accepted Date and Publication Date:
Date Deposited: 23 Oct 2008 15:09
Last Modified: 31 Mar 2016 14:13
Foundations of Process Calculi and Contextual Systems
Funded by: EPSRC (EP/D066565/1)
1 April 2006 to 31 March 2009
Further Information:Google Scholar

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