A type system for flexible role assignment in multiparty communicating systems

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

Volumn 8191 LNCS, Issue , 2013, Pages 82-96

  Baltazar, Pedro ^a   Caires, Luís ^c   Vasconcelos, Vasco T ^b   Vieira, Hugo Torres ^c  

^a INSTITUTO DE TELECOMUNICAÇÕES   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; DISTRIBUTED SYSTEMS; MULTI-PARTY INTERACTIONS; PROTOCOL SPECIFICATIONS; SECURITY POLICY; TASK ASSIGNMENT; TYPE-BASED ANALYSIS; WEB APPLICATION;

ARTIFICIAL INTELLIGENCE;

COMPUTER SCIENCE;

EID: 84886414647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-41157-1_6     Document Type: Conference Paper

References (16)

1. Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.: Dynamic Roles in Multiparty Communicating Systems. UNL-DI-1-2012, Universidade Nova de Lisboa (2012)
2. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
3. Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451-478 (2008)
4. Caires, L., Vieira, H.: Conversation Types. Theoretical Computer Science 411(51-52), 4399-4440 (2010)
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. Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On Global Types and Multiparty Sessions. In: Bruni, R., Dingel, J. (eds.) FMOODS/FORTE 2011. LNCS, vol. 6722, pp. 1-28. Springer, Heidelberg (2011)
7. Deniélou, P.M., Yoshida, N.: Dynamic Multirole Session Types. In: POPL 2011, pp. 435-446. ACM (2011)
8. Ghilezan, S., Jaksic, S., Pantovic, J., Dezani-Ciancaglini, M.: Types and Roles for Web Security. Transactions on Advanced Research 8(2), 16-21 (2012)
9. Giachino, E., Sackman, M., Drossopoulou, S., Eisenbach, S.: Softly Safely Spoken: Role Playing for Session Types. In: PLACES 2009 (2009)
10. Honda, K.: Types for Dyadic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509-523. Springer, Heidelberg (1993)
11. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM (2008)
12. 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)
13. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I and II. Information and Computation 100(1), 1-77 (1992)
14. Padovani, L.: On Projecting Processes into Session Types. Mathematical Structures Computer Science 22, 237-289 (2012)
15. Sangiorgi, D., Walker, D.: The π-Calculus: A Theory of Mobile Processes. Cambridge University Press (2001)
16. 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)