Conversation types

Theoretical Computer Science

Volumn 411, Issue 51-52, 2010, Pages 4399-4440

  Caires, Luís ^a   Vieira, Hugo Torres ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Behavioral types; Distributed systems; Program analysis; Service based systems; Session types

Indexed keywords

BEHAVIORAL TYPES; DISTRIBUTED SYSTEMS; PROGRAM ANALYSIS; SERVICE-BASED SYSTEMS; SESSION TYPES;

COMPUTATION THEORY;

SPEECH COMMUNICATION;

EID: 78649320059     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.09.010     Document Type: Conference Paper

References (28)

1. L. Acciai, and M. Boreale A type system for client progress in a service-oriented calculus P. Degano, R. De Nicola, J. Meseguer, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Lecture Notes in Computer Science vol. 5065 2008 Springer-Verlag 642 658
2. L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida Global progress in dynamically interleaved multiparty sessions F. van Breugel, M. Chechik, CONCUR 2008, 19th International Conference on Concurrency Theory, Proceedings Lecture Notes in Computer Science vol. 5201 2008 Springer-Verlag 418 433
3. E. Bonelli, and A. Compagnoni Multipoint session types for a distributed calculus G. Barthe, C. Fournet, Trustworthy Global Computing Third Symposium, TGC 2007, Revised Selected Papers Lecture Notes in Computer Science vol. 4912 2008 Springer-Verlag 240 256
4. M. Bravetti, I. Lanese, and G. Zavattaro Contract-Driven implementation of choreographies C. Kaklamanis, F. Nielson, Trustworthy Global Computing 4th Symposium, TGC 2008, Revised Selected Papers Lecture Notes in Computer Science vol. 5474 2009 Springer-Verlag 1 18
5. M. Bravetti, and G. Zavattaro A foundational theory of contracts for multi-party service composition Fundamenta Informaticae 89 4 2008 451 478
6. R. Bruni, and L.G. Mezzina Types and deadlock freedom in a calculus of services, sessions and pipelines J. Meseguer, G. Rosu, Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008, Proceedings Lecture Notes in Computer Science vol. 5140 2008 Springer-Verlag 100 115
7. L. Caires Spatial-behavioral types for concurrency and resource control in distributed systems Theoretical Computer Science 402 23 2008 120 141
8. L. Caires, and H.T. Vieira Conversation types G. Castagna, Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Proceedings Lecture Notes in Computer Science vol. 5502 2009 Springer-Verlag 285 300
9. L. Caires, H.T. Vieira, Conversation types, Technical Report UNL-DI-01-09, Departamento de Informtica, Universidade Nova de Lisboa, 2009.
10. M. Carbone, K. Honda, and N. Yoshida Structured communication-centred programming for web services R. De Nicola, 16th European Symposium on Programming ESOP 2007, Proceedings Lecture Notes in Computer Science vol. 4421 2007 Springer-Verlag 2 17
11. G. Castagna, M. Dezani-Ciancaglini, E. Giachino, and L. Padovani Foundations of session types A. Porto, F.J. Lpez-Fraguas, PPDP 2009, 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Proceedings 2009 ACM 219 230
12. G. Castagna, N. Gesbert, and L. Padovani A theory of contracts for web services ACM Transactions on Programming Languages and Systems 31 5 2009
13. S. Chaki, S.K. Rajamani, and J. Rehof Types as models: model checking message-passing programs Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2002 2002 ACM 45 57
14. M. Dezani-Ciancaglini, U. de' Liguoro, and N. Yoshida On progress for structured communications G. Barthe, C. Fournet, Trustworthy Global Computing Third Symposium, TGC 2007, Revised Selected Papers Lecture Notes in Computer Science vol. 4912 2008 Springer-Verlag 257 275
15. S. Gay, and M. Hole Subtyping for session types in the Pi calculus Acta Informatica 42 23 2005 191 225
16. E. Giachino, M. Sackman, S. Drossopoulou, S. Eisenbach, Softly safely spoken: role playing for session types, in: PLACES 2009, 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software, Proceedings (in press).
17. K. Honda Types for dyadic interaction E. Best, CONCUR 1993, 4th International Conference on Concurrency Theory, Proceedings Lecture Notes in Computer Science vol. 715 1993 Springer-Verlag 509 523
18. K. Honda, V.T. Vasconcelos, and M. Kubo Language primitives and type discipline for structured communication-based programming C. Hankin, Programming Languages and Systems 7th European Symposium on Programming, ESOP 1998, Proceedings Lecture Notes in Computer Science vol. 1381 1998 Springer-Verlag 122 138
19. K. Honda, N. Yoshida, and M. Carbone Multiparty asynchronous session types G.C. Necula, P. Wadler, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008 2008 ACM 273 284
20. A. Igarashi, and N. Kobayashi A generic type system for the Pi-calculus Theoretical Computer Science 311 13 2004 121 163
21. N. Kobayashi, B.C. Pierce, and D.N. Turner Linearity and the Pi-calculus Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 1996 1996 ACM 358 371
22. I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro Bridging the gap between interaction- and process-oriented choreographies A. Cerone, S. Gruner, SEFM 2008, Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings 2008 IEEE Computer Society 323 332
23. N. Lynch Fast allocation of nearby resources in a distributed system Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing STOC 1980 1980 ACM 70 81
24. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes, Part I + II Information and Computation 100 1 1992 1 77
25. N. Kobayashi A new type system for deadlock-free processes C. Baier, H. Hermanns, CONCUR 2006, 17th International Conference on Concurrency Theory, Proceedings Lecture Notes in Computer Science vol. 4137 2006 Springer-Verlag 233 247
26. B. Pierce Types and Programming Languages 2002 MIT Press
27. D. Sangiorgi, and D. Walker The π-calculus: A Theory of Mobile Processes 2001 Cambridge University Press
28. H.T. Vieira, L. Caires, and J.C. Seco The conversation calculus: a model of service-oriented computation S. Drossopoulou, Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Proceedings Lecture Notes in Computer Science vol. 4960 2008 Springer-Verlag 269 283