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

13 On Reduction Semantics for the Push and Pull Ambient Calculus – Iain Phillips, Maria Grazia Vigliotti - 2002
31 On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes – L Bougé - 1988
156 Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi – Catuscia Palamidessi - 2002
13 On the Expressiveness of Pure Safe Ambients – Pascal Zimmer - 2002
203 Local and global properties in networks of processors – D Angluin - 1980
808 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
588 Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
31 Mobile safe ambients – F Levi, D Sangiorgi
14 Leader election in rings of ambient processes – I Phillips, M Vigliotti
50 Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems – M Bugliesi, G Castagna, S Crafa - 2000
3200 Communication and Concurrency – R Milner - 1989
54 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
15 Making Ambients More Robust – Xudong Guan, Yiling Yang, Jinyuan You - 2000
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
219 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
79 Boxed ambients – Michele Bugliesi, Silvia Crafa - 2001
45 Asynchrony and the π-calculus – G Boudol - 1992
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989