Disciplined structured communications with consistent runtime adaptation

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2013, Pages 1913-1918

  Di Giusto, Cinzia ^a   Pérez, Jorge A ^b  

^a CEA SACLAY   (France)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROCESS; DYNAMIC INFRASTRUCTURE; PROCESS CALCULI; PROGRAMMING CALCULI; RUNTIME ADAPTATION; SERVICE ORIENTED SYSTEMS; SESSION TYPES; STRUCTURED COMMUNICATION;

COMPUTATION THEORY;

EID: 84877949083     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2480362.2480716     Document Type: Conference Paper

References (12)

1. M. Bravetti, C. Di Giusto, J. A. Pérez, and G. Zavattaro. Adaptable Processes. Logical Methods in Computer Science, 8(4), 2012. Extended abstract in Proc. of FMOODS-FORTE'11, Springer, LNCS 6722.
2. M. Bugliesi, G. Castagna, and S. Crafa. Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst., 26(1):57-124, 2004.
3. M. Carbone, K. Honda, and N. Yoshida. Structured interactional exceptions in session types. In CONCUR, volume 5201 of LNCS, pages 402-417. Springer, 2008.
4. M. Dezani-Ciancaglini and U. de'Liguoro. Sessions and session types: An overview. In WS-FM, volume 6194 of LNCS, pages 1-28. Springer, 2009.
5. C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira, and G. Zavattaro. Advanced mechanisms for service combination and transactions. In Results of the SENSORIA Project, volume 6582 of LNCS, pages 302-325. Springer, 2011.
6. P. Garralda, A. B. Compagnoni, and M. Dezani-Ciancaglini. Bass: boxed ambients with safe sessions. In PPDP, pages 61-72. ACM, 2006.
7. S. J. Gay and M. Hole. Subtyping for session types in the pi calculus. Acta Inf., 42(2-3):191-225, 2005.
8. K. Honda. Types for dyadic interaction. In CONCUR, volume 715 of LNCS, pages 509-523. Springer, 1993.
9. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP, volume 1381 of LNCS, pages 122-138. Springer, 1998.
10. N. Ng, N. Yoshida, and K. Honda. Multiparty session c: Safe parallel programming with message optimisation. In TOOLS (50), volume 7304 of LNCS, pages 202-218. Springer, 2012.
11. A. Vallecillo, V. T. Vasconcelos, and A. Ravara. Typing the behavior of software components using session types. Fundam. Inform., 73(4):583-598, 2006.
12. N. Yoshida and V. T. Vasconcelos. Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci., 171(4):73-93, 2007.