How to infer finite session types in a calculus of services and sessions

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

Volumn 5052 LNCS, Issue , 2008, Pages 216-231

  Mezzina, Leonardo Gaetano ^a  

^a IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BIOMINERALIZATION; BOOLEAN FUNCTIONS; CALCULATIONS; EVOLUTIONARY ALGORITHMS; FLOW INTERACTIONS; FUNCTIONS; INFERENCE ENGINES; LINGUISTICS; MATHEMATICAL MODELS; SCHEDULING ALGORITHMS;

COORDINATION MODELS; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); SERVICE-ORIENTED (SO) APPLICATIONS; SESSION TYPES; SPRINGER (CO); TYPE INFERENCES;

DIFFERENTIATION (CALCULUS);

EID: 45749137628     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_14     Document Type: Conference Paper

References (20)

1. Bonelli, E., Compagnoni, A.: Multipoint. session types for a distributed calculus. In: Proceedings of 3rd Trustworthy Global Computing, Sophia-Antipolis, France (2007)
2. Booth, D., Liu, C.: Web Services Description Language (WSDL) Version 2.0 Part 0: Primer (2006), http://www.w3.org/TR/2006/CR-wsdl20-primer-20060327.
3. Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: A service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38-57. Springer, Heidelberg (2006)
4. Bruni, R., Mezzina, L.G.: A deadlock free type system for a calculus of services and sessions (submitted 2007), http://www.di.unipi.it/∼bruni/ publications/scctype.ps.gz
5. Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1), 57-124 (2004)
6. Cardelli, L., Gordon, A.D.: Mobile ambients. Theor. Comput. Sci. 240(1), 177-213 (2000)
7. Chinnici, R., Haas, H., Lewis, A., Moreau, J.-J., et al.: Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts (2006), http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327
8. Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (2006), http://www.w3.org/TR/2006/CR-wsdl20-20060327
9. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), http://www.w3.org/TR/2001/NOTE-wsdl- 20010315
10. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
11. Gapeyev, V., Levin, M., Pierce, B.: Recursive subtyping revealed. J. Funct. Program. 12(6), 511-548 (2002)
12. Garralda, P., Compagnoni, A., Dezani-Ciancaglini, M.: Bass: boxed ambients with safe sessions. In: PPDP 2006: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, pp. 61-72. ACM Press, New York (2006)
13. Gay, S., Hole, M.: Subtyping for session types in the pi calculus. Acta Inform. 42(2), 191-225 (2005)
14. Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998)
15. Mezzina, L.G.: OCaml prototype of the type inference algorithm, http://www.lmezzina.com/sesstypes.zip
16. Robinson, J.A.: Logic and logic programming. Commun. ACM 35(3), 40-65 (1992)
17. Vasconcelos, V., Honda, K.: Principal typing-schemes in a polyadic -calculus (1992)
18. Vasconcelos, V.T.: Recursive types in a calculus of objects. Transactions of Information Processing Society of Japan 35(9), 1828-1836 (1994)
19. Vasconcelos, V.T., Tokoro, M.: A typing system for a calculus of objects. In: Nishio, S., Yonezawa, A. (eds.) ISOTAS 1993. LNCS, vol. 742, pp. 460-474. Springer, Heidelberg (1993)
20. Yoshida, N., Vasconcelos, V.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electron. Notes Theor. Comput. Sci. 171(4), 73-93 (2007)