Multiparty sessions in SOC

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

Volumn 5052 LNCS, Issue , 2008, Pages 67-82

  Bruni, Roberto ^a   Lanese, Ivan ^b   Melgratti, Hernán ^c   Tuosto, Emilio ^d  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER NETWORKS; FLOW INTERACTIONS; FUNCTIONS; LINGUISTICS; METROPOLITAN AREA NETWORKS; NETWORK PROTOCOLS; PROGRAMMABLE LOGIC CONTROLLERS; TELECOMMUNICATION NETWORKS;

COORDINATION MODELS; FEATURE INTERACTIONS; HEIDELBERG (CO); IN ORDER; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); MODEL INTERACTIONS; MULTIPARTY SESSIONS; PROCESS CALCULUS; SERVICE-ORIENTED (SO) APPLICATIONS; SPRINGER (CO); STRUCTURED COMMUNICATION;

DIFFERENTIATION (CALCULUS);

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

References (25)

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 Verlag, Heidelberg (to appear, 2008)
2. Bonelli, E., Compagnoni, A.: Multipoint session types for a distributed calculus. In: TGC 2007. LNCS, vol. 4912, pp. 240-256. Springer Verlag, Heidelberg (2008)
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. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: FMOODS 2008. LNCS, vol. 5051, Springer, Heidelberg (to appear, 2008)
5. Bruni, R., Lanese, I.: PRISMA: A mobile calculus with parametric synchronization. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 132-149. Springer, Heidelberg (2007)
6. Bruni, R., Mezzina, L.: Types and deadlock freedom in a calculus of services, sessions and pipelines (submitted, 2008)
7. Caires, L., Vieira, H.T., Seco, J.C.: The conversation calculus: A model of service oriented computation. In: ESOP 2008. LNCS, vol. 4960, Springer, Heidelberg (2008)
8. 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)
9. Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nord. J. Comput. 10(2), 70-98 (2003)
10. Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopoulou, S.: A distributed object-oriented language with session types. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 299-318. Springer, Heidelberg (2005)
11. Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: IPDPS 2001, IEEE Computer Society Press, Los Alamitos (2001)
12. Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Coordination Via Types in an Event-Based Framework. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 66-80. Springer, Heidelberg (2007)
13. Gay, S., Hole, M.: Types and Subtypes for Client-Server Interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 74-90. Springer, Heidelberg (1999)
14. Hoare, C.: A model for communicating sequential processes. In: On the Construction of Programs, Cambridge University Press, Cambridge (1980)
15. Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509-523. Springer, Heidelberg (1993)
16. Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
17. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, pp. 273-284. ACM, New York (2008)
18. Lanese, I., Tuosto, E.: Synchronized Hyperedge Replacement for heterogeneous systems. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 220-235. Springer, Heidelberg (2005)
19. Lanese, I., Vasconcelos, V., Martins, F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM 2007, pp. 305-314. IEEE Computer Society Press, Los Alamitos (2007)
20. Mezzina, L.G.: How to infer finite session types in a calculus of services and sessions. In: COORDINATION 2008. LNCS, vol. 5052. Springer, Heidelberg (2008)
21. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
22. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1-40, 41-77 (1992)
23. OASIS. Web Services Business Process Execution Language Version 2.0, Working Draft, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft. pdf
24. Sensoria Project. Software Engineering for Service-Oriented Overlay Computers. Public Web Site, http://sensoria.fast.de/
25. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Working draft (17 December 2004), http://www.w3.org/TR/ 2005/CR-ws-cdl-10-20051109/