Spatial and behavioral types in the pi-calculus

Information and Computation

Volumn 208, Issue 10, 2010, Pages 1118-1153

  Acciai, Lucia ^a   Boreale, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Behavioral type systems; Pi calculus; Spatial logic

Indexed keywords

BEHAVIORAL TYPE SYSTEM; BEHAVIORAL TYPES; LIVENESS; PI CALCULUS; RUNTIMES; SPATIAL LOGIC; SPATIAL PROCESS; SPATIAL PROPERTIES; SPATIAL STRUCTURE; TYPE SYSTEMS; TYPECHECKING;

MODEL CHECKING;

CALCULATIONS;

EID: 77955773359     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2009.10.011     Document Type: Conference Paper

References (24)

1. L. Acciai, M. Boreale, Deciding safety properties in infinite-state pi-calculus via behavioural types, in: S. Albers, A. Marchetti-Spaccamela, Y. Matias, S.E. Nikoletseas, W. Thomas (Eds.), ICALP'09, LNCS, vol. 5556, 2009, pp. 31-42.
2. L. Acciai, M. Boreale, Spatial and behavioral types in the pi-calculus, in: F. van Breugel, M. Chechik (Eds.), CONCUR'08, LNCS, vol. 5201, 2008, pp. 372-386.
3. L. Acciai, M. Boreale, A type system for client progress in a service-oriented calculus, in: P. Degano, et al. (Eds.), Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, LNCS, vol. 5065, 2008, pp. 642-658.
4. L. Acciai, M. Boreale, Type abstractions of name-passing processes, in: F. Arbab, M. Sirjani (Eds.), FSEN'07, LNCS, vol. 4767, 2007, pp. 302-317.
5. L. Acciai, and M. Boreale Responsiveness in process calculi Theor. Comput. Sci. 409 1 2008 59 93
6. N. Busi, M. Gabbrielli, G. Zavattaro, On the expressive power of recursion, replication, and iteration in process calculi, in: J. Díaz, J. Karhumäki, A. Lepistö, D. Sannella (Eds.), ICALP'04, LNCS, vol. 3142, 2004, pp. 307-319.
7. L. Caires, Logical semantics of types for concurrency, in: T. Mossakowski, U. Montanari, M. Haveraaen (Eds.), CALCO'07, LNCS, vol. 4624, 2007, pp. 16-35.
8. L. Caires, Spatial-behavioral types, distributed services, and resources, in: U. Montanari, D. Sannella, R. Bruni (Eds.), TGC'06, LNCS, vol. 4661, 2007, pp. 98-115.
9. L. Caires, Behavioral and spatial observations in a logic for the pi-calculus, in: I. Walukiewicz (Eds.), FoSSaCS'04, LNCS, vol. 2987, 2004, pp. 72-89.
10. L. Caires, and L. Cardelli A spatial logic for concurrency (part I) Inf. Comput. 186 2 2003 194 235
11. A. Finkel, and Ph. Schnoebelen Well-structured transition systems everywhere! Theor. Comput. Sci. 256 1-2 2001 63 92
12. S. Chaki, S.K. Rajamani, J. Rehof, Types as models: model checking message-passing programs, in: POPL'02, 2002, pp. 45-57.
13. L. Cardelli, A.D. Gordon, Anytime, anywhere: modal logics for mobile ambients, in: POPL'00, 2000, pp. 365-377.
14. J. Engelfriet, Tj. Gelsema, The Decidability of Structural Congruence for Replication Restricted Pi-calculus Processes, Technical Report, LIACS 2004-07, 2004.
15. J. Engelfriet, and Tj. Gelsema Structural inclusion in the pi-calculus with replication Theor. Comput. Sci. 258 1-2 2001 131 168
16. A. Igarashi, and N. Kobayashi A generic type system for the pi-calculus Theor. Comput. Sci. 311 1-3 2004 121 163
17. N. Kobayashi, D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, in: A. Gupta, S. Malik (Eds.), CAV 2008, LNCS, vol. 5123, 2008, pp. 80-93.
18. N. Kobayashi Type-based information flow analysis for the pi-calculus Acta Inform. 42 4-5 2005 291 347
19. N. Kobayashi, K. Suenaga, and L. Wischik Resource usage analysis for the pi-calculus Log. Methods Comput. Sci. 2 3 2006
20. N. Kobayashi, T. Suto, Undecidability of 2-label BPP equivalences and behavioral type systems for the pi-calculus, in: L. Arge, C. Cachin, T. Jurdzinski, A. Tarlecki (Eds.), ICALP'07, LNCS, vol. 4596, 2007, pp. 740-751.
21. R. Milner, The polyadic π-calculus: a tutorial, in: Logic and Algebra of Specification, Springer, 1993, pp. 203-246.
22. R. Milner Communication and Concurrency 1989 Prentice-Hall
23. D. Sangiorgi The name discipline of uniform receptiveness Theor. Comput. Sci. 221 1-2 1999 457 493
24. N. Yoshida, Graph types for monadic mobile processes, in: V. Chandru, V. Vinay (Eds.), FSTTCS'96, LNCS, vol. 1180, 1996, pp. 371-386.