Minimality results for the spatial logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2914, Issue , 2003, Pages 252-264

  Hirschkoff, D ^a   Lozes, E ^a   Sangiorgi, D ^b  

^a UNIVERSITÉ DE LYON   (France)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); SEMANTICS; SOFTWARE ENGINEERING;

AMBIENT CALCULUS; FOUR-GROUP; MINIMALITY; PI CALCULUS; SPATIAL LOGIC; SPECIFIC OPERATORS; TEMPORAL MODALITIES;

CALCULATIONS;

EID: 35248833020     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24597-1_22     Document Type: Article

References (11)

1. N. Busi and G. Zavattaro. On the expressiveness of Movement in Pure Mobile Ambients. ENTCS, 66(3), 2002.
2. L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part I). In Proc. of TACS'01, LNCS. Springer Verlag, 2001.
3. L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part II). In Proc. of CONCUR'02, volume 2421 of LNCS, pages 209-225. Springer Verlag, 2002.
4. L. Cardelli and A. Gordon. Mobile Ambients. In Proc. of FOSSACS'98, volume 1378 of LNCS, pages 140-155. Springer Verlag, 1998.
5. L. Cardelli and A. Gordon. Anytime, Anywhere, Modal Logics for Mobile Ambients. In Proc. of POPL'00, pages 365-377. ACM Press, 2000.
6. L. Cardelli and A. Gordon. Logical Properties of Name Restriction. In Proc. of TLCA'01, volume 2044 of LNCS. Springer Verlag, 2001.
7. D. Hirschkoff, E. Lozes, and D. Sangiorgi. Separability, Expressiveness and Decidability in the Ambient Logic. In 17th IEEE Symposium on Logic in Computer Science, pages 423-432. IEEE Computer Society, 2002.
8. ∼elozes.
9. U. Nestmann and B. Pierce. Decoding choice encodings. In Proc. CONCUR '96, volume 1119 of LNCS. Springer Verlag, 1996.
10. B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
11. D. Sangiorgi. Extensionality and Intensionality of the Ambient Logic. In Proc. of 28th POPL, pages 4-17. ACM Press, 2001.