The University of Southampton
University of Southampton Institutional Repository

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

Record type: Article


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.

PDF ambjournal.pdf - Accepted Manuscript
Restricted to Registered users only
Download (544kB)

More information

e-pub ahead of print date: 20 June 2010
Published date: October 2010
Keywords: labelled transition systems (lts), structural operational semantics (sos), ambient calculus, bisimulation
Organisations: Electronic & Software Systems


Local EPrints ID: 271012
ISSN: 0890-5401
PURE UUID: c4e53f90-73b6-4db8-8ead-bc97fb12ce1a

Catalogue record

Date deposited: 06 May 2010 16:39
Last modified: 18 Jul 2017 06:48

Export record



Author: Julian Rathke
Author: Pawel Sobocinski

University divisions

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.