Reduction Semantics for Ambient Calculi (2004)

by Maria Grazia Vigliotti
Venue:Trans In) (Trans Cap) P ≻ (ν−→ p )〈M.P ′ 〉P ′′ P M −→CG (ν −→ p )(P ′ |P ′′ ) (fn(M) ∩ −→ p = ∅) (Trans Amb) P
Citations:8 - 5 self

Active Bibliography

3 Symmetric electoral systems for ambient calculi – Iain Phillips, Maria Grazia Vigliotti
16 Towards a unified approach to encodability and separation results for process calculi – Daniele Gorla - 2008
34 Operational congruences for reactive systems – James Judi Leifer - 2001
1 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
1 Separation Results Via Leader Election Problems. FMCO 2005 – Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi - 2005
A Taxonomy of Process Calculi for Distribution and Mobility – Daniele Gorla
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
19 Bisimulation Proof Methods for Mobile Ambients – Massimo Merro, Francesco Zappa Nardelli - 2003
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
5 Dynamic Web Data: A Process Algebraic Approach – Sergio Maffeis - 2005
17 Electoral systems in ambient calculi – Iain Phillips, Maria Grazia Vigliotti - 2004