Extensionality and Intensionality of the Ambient Logics

Cached

Download Links

by Davide Sangiorgi
Citations:41 - 2 self

Active Bibliography

4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
50 Bisimulations in the join-calculus – Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
54 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
21 Bisimulation Proof Methods for Mobile Ambients – Massimo Merro, Francesco Zappa Nardelli - 2003
4 Spatial Congruence for the Ambients is Decidable – Silvano Dal Zilio, Silvano Dal Zilio - 2000
5 Comparing calculi for mobility via their relative expressive power – Daniele Gorla
A Taxonomy of Process Calculi for Distribution and Mobility – Daniele Gorla
4 Extensionality of Spatial Observations in Distributed Systems (Draft – Luís Caires, Hugo Torres Vieira - 2006
13 Mobility and security – Luca Cardelli - 1999
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
34 Operational congruences for reactive systems – James Judi Leifer - 2001
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
60 Proof Techniques for Cryptographic Processes – Michele Boreale, Rocco De Nicola, Rosario Pugliese - 1999
43 A Process Algebraic View of Linda Coordination Primitives – Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro - 1998
5 Locality and Polyadicity in Asynchronous Name-Passing Calculi – Massimo Merro - 2000