Deriving structural labelled transitions for mobile ambients


Rathke, Julian and Sobocinski, Pawel (2010) Deriving structural labelled transitions for mobile ambients. [in special issue: 19th International Conference on Concurrency Theory (CONCUR 2008)] Information and Computation, 208, (10), 1221-1242. (doi:10.1016/j.ic.2010.06.001).

Download

[img] PDF - Accepted Manuscript
Restricted to Registered users only

Download (531Kb)

Description/Abstract

We present a new labelledtransition system (lts) for the ambient calculus. Its most important property is that ordinary (strong) bisimulation coincides with (strong) contextual equivalence. The lts is the outcome of the authors’ ongoing work towards developing general techniques and systematic procedures for derivingltss in the structural (sos) style from the underlying reduction semantics and observability.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.ic.2010.06.001
ISSNs: 0890-5401 (print)
1090-2651 (electronic)
Keywords: labelled transition systems (lts), structural operational semantics (sos), ambient calculus, bisimulation
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: 271012
Date :
Date Event
October 2010Published
20 June 2010Made publicly available
2009Submitted
Date Deposited: 06 May 2010 16:39
Last Modified: 31 Mar 2016 14:17
Projects:
Foundations of Process Calculi and Contextual Systems
Funded by: EPSRC (EP/D066565/1)
1 April 2006 to 31 March 2009
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271012

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