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), pp. 1221-1242. (doi:10.1016/j.ic.2010.06.001).


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

Download (544kB)


We present a new labelled transition 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 deriving ltss 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)
Keywords: labelled transition systems (lts), structural operational semantics (sos), ambient calculus, bisimulation
Organisations: Electronic & Software Systems
ePrint ID: 271012
Date :
Date Event
20 June 2010e-pub ahead of print
October 2010Published
Date Deposited: 06 May 2010 16:39
Last Modified: 17 Apr 2017 18:25
Further Information:Google Scholar

Actions (login required)

View Item View Item