The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

Deriving structural labelled transitions for mobile ambients

Deriving structural labelled transitions for mobile ambients
Deriving structural labelled transitions for mobile ambients
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.
labelled transition systems (lts), structural operational semantics (sos), ambient calculus, bisimulation
0890-5401
1221-1242
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd

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

Record type: Article

Abstract

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.

Text
ambjournal.pdf - Accepted Manuscript
Restricted to Registered users only
Download (544kB)
Request a copy

More information

e-pub ahead of print date: 20 June 2010
Published date: October 2010
Additional Information: Funded by EPSRC: Foundations of Process Calculi and Contextual Systems (EP/D066565/1)
Keywords: labelled transition systems (lts), structural operational semantics (sos), ambient calculus, bisimulation
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 271012
URI: http://eprints.soton.ac.uk/id/eprint/271012
ISSN: 0890-5401
PURE UUID: c4e53f90-73b6-4db8-8ead-bc97fb12ce1a

Catalogue record

Date deposited: 06 May 2010 16:39
Last modified: 08 Jan 2022 08:58

Export record

Altmetrics

Contributors

Author: Julian Rathke
Author: Pawel Sobocinski

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.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×