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

Documents Related by Co-Citation

14 On Reduction Semantics for the Push and Pull Ambient Calculus – Iain Phillips, Maria Grazia Vigliotti - 2002
155 Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi – Catuscia Palamidessi - 2002
205 Local and global properties in networks of processors (Extended Abstract – Dana Angluin - 1980
13 On the Expressiveness of Pure Safe Ambients – Pascal Zimmer - 2002
29 On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes – L Bougé - 1988
812 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
587 Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
14 Leader election in rings of ambient processes – I Phillips, M Vigliotti
33 Mobile safe ambients – Francesca Levi, Davide Sangiorgi
51 Access control for mobile agents: the calculus of boxed ambients – Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
3218 Communication and Concurrency – R Milner - 1989
55 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
19 On the computational strength of pure ambient calculi – Sergio Maffeis, Iain Phillips - 2005
17 Electoral systems in ambient calculi – Iain Phillips, Maria Grazia Vigliotti - 2004
16 Making Ambients More Robust – Xudong Guan, Yiling Yang, Jinyuan You - 2000
221 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
45 Asynchrony and the π-calculus – G Boudol - 1992
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
24 Expressiveness of Point-to-Point versus Broadcast Communications – Cristian Ene, Traian Muntean - 1999