Types and deadlock freedom in a calculus of services, sessions and pipelines

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

Volumn 5140 LNCS, Issue , 2008, Pages 100-115

  Bruni, Roberto ^a   Mezzina, Leonardo Gaetano ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTER NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; FLOW INTERACTIONS; JAVA PROGRAMMING LANGUAGE; MATRIX ALGEBRA; PIPELINES; TECHNOLOGY;

INTERNATIONAL CONFERENCES; SOFTWARE TECHNOLOGIES; TYPE SYSTEMS;

DIFFERENTIATION (CALCULUS);

EID: 51049123210     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79980-1_8     Document Type: Conference Paper

References (19)

1. Acciai, L., Boreale. M.: A type system for client progress in a service-oriented calculus. In: Festschrift in Honour of Ugo Montanari, on the Occasion of His 65th Birthday. LNCS, vol. 5065. Springer, Heidelberg (to appear, 2008)
2. 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)
3. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19-38. Springer, Heidelberg (2008)
4. Busi, N.. Gorrieri. R., Guidi, C., Lucchi, R., Zavattaro. G.: Sock: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006)
5. Carbone, M., Honda, K., Yoshida. N.: Structured communication-centred programming for web services. In: De Nicola. R. (ed.) ESOP 2007. LNCS. vol. 4421, pp. 2-17. Springer, Heidelberg (2007)
6. Cook, W., Kitchin, D., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477-491. Springer, Heidelberg (2006)
7. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous session types and progress for object oriented languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS. vol. 4468, pp. 1-31. Springer, Heidelberg (2007)
8. 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)
9. Dezani-Ciancaglini. M., de Liguoro. U., Yoshida, N.: On progress for structured communications. In: Barthe, C. Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 257-275. Springer, Heidelberg (2008)
10. Gapeyev, V., Levin, M., Pierce. B.: Recursive subtyping revealed. J. Funct. Program. 12(6). 511-548 (2002)
11. Gay, S., Hole, M.: Subtyping for session types in the pi calculus. Acta Inform. 42(2), 191-225 (2005)
12. 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)
13. Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. ACM SIGPLAN Notices 36(3), 128-141 (2001)
14. Kobayashi, N.: New type system for deadlock-free processes. In: Baier. C. Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
15. Kobayashi, N., Sangiorgi, D.: A hybrid type system for lock-freedom of mobile processes. In: CAV 2008. LNCS. Springer, Heidelberg (to appear, 2008)
16. Lanese, I., Vasconcelos, V., Martins. F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proceedings of SEFM 2007, pp. 305-314. IEEE Computer Society Press, Los Alamitos (2007)
17. Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421. pp. 33-47. Springer, Heidelberg (2007)
18. Mezzina, L.G.: How to infer finite session types in a calculus of services and sessions. In: Lea, D.. Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 216-231. Springer. Heidelberg (2008)
19. Yoshida, N., Vasconcelos, V.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Elect. Notes in Th. Comput. Sci. 171(4), 73-93 (2007)