Sciweavers

Share
CONCUR
2008
Springer

Deriving Structural Labelled Transitions for Mobile Ambients

8 years 4 months ago
Deriving Structural Labelled Transitions for Mobile Ambients
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that it is the fruit of ongoing work on developing a systematic procedure for deriving ltss in the structural style from the underlying reduction semantics and observability. Notably, even though we have derived our lts for ambients systematically it compares very favourably with existing transition systems for the same calculus.
Julian Rathke, Pawel Sobocinski
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Julian Rathke, Pawel Sobocinski
Comments (0)
books