Deconstructing behavioural theories of mobility


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

Download

[img] PDF RathkeDeconstructing.pdf - Other
Download (192kB)

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)
Digital Object Identifier (DOI): doi:10.1007/978-0-387-09680-3_34
Venue - Dates: Fifth IFIP International Conference on Theoretical Computer Science (TCS), Italy, 2008-09-01
Subjects:
Organisations: Electronic & Software Systems
ePrint ID: 266824
Date :
Date Event
2008Published
Date Deposited: 23 Oct 2008 15:09
Last Modified: 17 Apr 2017 18:57
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266824

Actions (login required)

View Item View Item