Author:
Bacci Giorgio,Miculan Marino
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Busi, N., Deciding behavioural properties in brane calculi., in: Priami [14], pp. 17–31
2. Behavioral and spatial observations in a logic for the pi-calculus;Caires;Lecture Notes in Computer Science,2004
3. Cardelli, L., Brane calculi., in: Danos and Schachter [7], pp. 257–278
4. Model checking mobile ambients;Charatonik;Theor. Comput. Sci.,2003
5. Spatial congruence for ambients is decidable;Dal-Zilio,2000