On projecting processes into session types

Mathematical Structures in Computer Science

Volumn 22, Issue 2, 2012, Pages 237-289

  Padovani, Luca ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GROUNDED THEORY; PARALLEL COMPOSITION OPERATORS; SESSION TYPES;

MATHEMATICAL TECHNIQUES;

COMPUTER APPLICATIONS;

EID: 84857811784     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129511000405     Document Type: Conference Paper

References (45)

1. Acciai, L. and Boreale, M. (2008) A type system for client progress in a service-oriented calculus. In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Springer-Verlag Lecture Notes in Computer Science 5065 642-658.
2. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M. and Yoshida, N. (2008) Global Progress in Dynamically InterleavedMultiparty Sessions. In: Proceedings of CONCUR'08. Springer-Verlag Lecture Notes in Computer Science 5201 418-433.
3. Bravetti, M. and Zavattaro, G. (2007a) Contract based multi-party service composition. In: Proceedings of FSEN'07. Springer-Verlag Lecture Notes in Computer Science 4767 207-222.
4. Bravetti, M. and Zavattaro, G. (2007b) Towards a unifying theory for choreography conformance and contract compliance. In: Proceedings of the 6th International Symposium on Software Composition. Springer-Verlag Lecture Notes in Computer Science 4829 34-50.
5. Bravetti, M. and Zavattaro, G. (2009) A foundational theory of contracts for multi-party service composition. Fundamenta Informaticae 89 (4) 451-478.
6. Bugliesi, M., Macedonio, D., Pino, L. and Rossi, S. (2010) Compliance preorders for Web Services. In: Proceedings of WS-FM'09. Springer-Verlag Lecture Notes in Computer Science 6194 76-91.
7. Caires, L. and Pfenning, F. (2010) Session types as intuitionistic linear propositions. In: Proceedings of CONCUR'10. Springer-Verlag Lecture Notes in Computer Science 6269 222-236.
8. Caires, L. and Vieira, H. (2009) Conversation types. In: Proceedings of ESOP'09. Springer-Verlag Lecture Notes in Computer Science 5502 285-300.
9. Capecchi, S., Coppo, M., Dezani-Ciancaglini, M., Drossopoulou, S. and Giachino, E. (2009) Amalgamating Sessions and Methods in Object Oriented Languages with Generics. Theoretical Computer Science 410 142-167.
10. Carpineti, S., Laneve, C. and Padovani, L. (2009) PiDuce - A project for experimenting Web services technologies. Science of Computer Programming 74 (10) 777-811.
11. Castagna, G., Dezani-Ciancaglini, M., Giachino, E. and Padovani, L. (2009a) Foundations of session types. In: Proceedings of PPDP'09, ACM 219-230.
12. Castagna, G. and Frisch, A. (2005) A gentle introduction to semantic subtyping. In Proceedings of PPDP'05, ACM 198-199.
13. Castagna, G., Gesbert, N. and Padovani, L. (2009b) A theory of contracts for Web services. ACM Transactions on Programming Languages and Systems 31 (5) 1-61.
14. Castagna, G., De Nicola, R. and Varacca, D. (2008) Semantic subtyping for the pi-calculus. Theoretical Computer Science 398 (1-3) 217-242.
15. Castagna, G. and Padovani, L. (2009) Contracts for mobile processes. In: Proceedings of CONCUR'09. Springer-Verlag Lecture Notes in Computer Science 5710 211-228.
16. Chaki, S., Rajamani, S. K. and Rehof, J. (2002) Types as models: Model checking message-passing programs. SIGPLAN Notices 37 (1) 45-57.
17. Courcelle, B. (1983) Fundamental properties of infinite trees. Theoretical Computer Science 25 95-169.
18. De Nicola, R. and Hennessy, M. (1984) Testing equivalences for processes. Theoretical Computer Science 34 83-133.
19. De Nicola, R. and Hennessy, M. (1987) ccs without t's. In: Proceedings of TAPSOFT'87/CAAP'87. Springer-Verlag Lecture Notes in Computer Science 249 138-152.
20. Dezani-Ciancaglini, M., de' Liguoro, U. and Yoshida, N. (2008) On Progress for Structured Communications. In: Proceedings of TGC'07. Springer-Verlag Lecture Notes in Computer Science 4912 257-275.
21. Dezani-Ciancaglini, M., Drossopoulou, S., Mostrous, D. and Yoshida, N. (2009) Session Types for Object-Oriented Languages. Information and Computation 207 (5) 595-641.
22. Drossopoulou, S., Dezani-Ciancaglini, M. and Coppo, M. (2007) Amalgamating the Session Types and the Object Oriented Programming Paradigms. In: Proceedings of MPOOL'07.
23. Frisch, A., Castagna, G. and Benzaken, V. (2008) Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM 55 (4) 1-64.
24. Gay, S. and Hole, M. (2005) Subtyping for session types in the p-calculus. Acta Informatica 42 (2-3) 191-225.
25. Gay, S. and Vasconcelos, V.T. (2007) Asynchronous functional session types. Technical Report 2007-251, Department of Computing, University of Glasgow.
26. Giunti, M. and Vasconcelos, V.T. (2010) A linear account of session types in the pi calculus. In: Proceedings of CONCUR'10. Springer-Verlag Lecture Notes in Computer Science 6269 432-446.
27. Hennessy, M. (1988) Algebraic Theory of Processes. Foundation of Computing, MIT Press.
28. Honda, K. (1993) Types for dyadic interaction. In: Proceedings of CONCUR'93. Springer-Verlag Lecture Notes in Computer Science 715 509-523.
29. Honda, K., Vasconcelos, V.T. and Kubo, M. (1998) Language primitives and type disciplines for structured communication-based programming. In: Proceedings of ESOP'98. Springer-Verlag Lecture Notes in Computer Science 1381 122-138.
30. Honda, K., Yoshida, N. and Carbone, M. (2008) Multiparty asynchronous session types. In: Proceedings of POPL'08, ACM 273-284.
31. Igarashi, A. and Kobayashi, N. (2004) A generic type system for the Pi-calculus. Theoretical Computer Science 311 (1-3) 121-163.
32. Kobayashi, N., Saito, S. and Sumii, E. (2000) An implicitly-typed deadlock-free process calculus. In: Proceedings of CONCUR'00. Springer-Verlag Lecture Notes in Computer Science 1877 489-503.
33. Laneve, C. and Padovani, L. (2008) The pairing of contracts and session types. In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Springer-Verlag Lecture Notes in Computer Science 5065 681-700.
34. Milner, R. (1999) Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press.
35. Natarajan, V. and Cleaveland, R. (1995) Divergence and fair testing. In: Proceedings of ICALP '95. Springer-Verlag Lecture Notes in Computer Science 944 648-659.
36. Nielson, H. R. and Nielson, F. (1994) Higher-order concurrent programs with finite communication topology (extended abstract). In: Proceedings of POPL'94, ACM 84-97.
37. Padovani, L. (2009) Session types at the mirror. EPTCS 12 71-86.
38. Padovani, L. (2011) Session Types = Intersection Types + Union Types. In: Pimentel, E., Venneri, B. and Wells, J. (eds.) Proceedings Fifth Workshop on Intersection Types and Related Systems. EPTCS 45 71-89.
39. Pierce, B. and Sangiorgi, D. (1996) Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6 376-385.
40. Rensink, A. and Vogler, W. (2007) Fair testing. Information and Computation 205 (2) 125-198.
41. Sangiorgi, D. and Walker, D. (2001) The p-calculus: a Theory of Mobile Processes, Cambridge University Press.
42. Sumii, E. and Kobayashi, N. (1998) A generalized deadlock-free process calculus. Electronic Notes in Theoretical Computer Science 16 (3) 225-247.
43. Vasconcelos, V.T. (2009) Fundamentals of session types. In: SFM'09. Springer-Verlag Lecture Notes in Computer Science 5569 158-186.
44. Vasconcelos, V.T., Gay, S. and Ravara, A. (2006) Type checking a multithreaded functional language with session types. Theoretical Computer Science 368 64-87.
45. Yoshida, N. and Vasconcelos, V.T. (2007) Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electronic Notes in Theoretical Computer Science 171 (4) 73-93.