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)
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
Foundations of Process Calculi and Contextual Systems
Funded by: EPSRC (EP/D066565/1)
1 April 2006 to 31 March 2009
Further Information:Google Scholar
ISI Citation Count:3

Actions (login required)

View Item View Item