Implementing session centered calculi

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

Volumn 5052 LNCS, Issue , 2008, Pages 17-32

  Bettini, Lorenzo ^a   De Nicola, Rocco ^b   Loreti, Michele ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

(E ,2E) THEORY; (E ,3E) PROCESS; COMMUNICATION MECHANISMS; COORDINATION MODELS; FOUNDATIONAL ASPECTS; HEIDELBERG (CO); IN ORDER; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); NETWORK APPLICATIONS; PROTOTYPE IMPLEMENTATIONS; SERVICE ORIENTED; SERVICE-ORIENTED (SO) APPLICATIONS; SPRINGER (CO);

BIOMINERALIZATION; CALCULATIONS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS); FUNCTIONS; LINGUISTICS; MECHANISMS; METROPOLITAN AREA NETWORKS; NETWORK PROTOCOLS; PATHOLOGY; PATTERN MATCHING; PIPELINES; RHENIUM; SEMICONDUCTING INTERMETALLICS;

JAVA PROGRAMMING LANGUAGE;

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

References (14)

1. Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 181-193. Springer, Heidelberg (2005)
2. Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Monta-nari, 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. Bruni, R., Boreale, M., De Nicola, R., Loreti, M.: Sessions and pipelines for structured services programming. In: FMOODS 2008. LNCS, vol. 5051. Springer, Heidelberg (2008)
4. Caires, L., Viera, H.: A note on a model for service oriented computation. In: ESOP 2008. LNCS, vol. 4960. Springer, Heidelberg (2008)
5. J.E. Edition, http://java.sun.com/javaee/
6. J. A.: for XML Binding, https://jaxb.dev.java.net/
7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
8. Gay, S.J., Hole, M.J.: Types and Subtypes for Client-Server Interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 74-90. Springer, Heidelberg (1999)
9. Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80-112 (1985)
10. Honda, K., Vasconcelos, V.T., 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)
11. Lanese, I., Martins, F., Ravara, A., Vasconcelos, V.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM 2007, pp. 305-314. IEEE Computer Society Press, Los Alamitos (2007)
12. Sensoria Project. Public web site, http://sensoria.fast.de/
13. Simple Web Server, http://simpleweb.sourceforge.net/
14. S. with Attachments API for Java, https://saaj.dev.java.net/