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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
Restricted to Registered users only Download (531Kb) | Request a copy |
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 |
|---|---|
| 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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 271012 |
| Date Deposited: | 06 May 2010 16:39 |
| Last Modified: | 28 Jun 2012 11:10 |
| Contributors: | Rathke, Julian (Author) Sobocinski, Pawel (Author) |
| Date: | October 2010 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/271012 |
Actions (login required)
 |
View Item |
