Asynchronous session types: Exceptions and multiparty interactions

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

Volumn 5569 LNCS, Issue , 2009, Pages 187-212

  Carbone, Marco ^a   Yoshida, Nobuko ^b   Honda, Kohei ^c  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED TYPES; ASYNCHRONOUS COMMUNICATION; MULTIPARTY INTERACTION; MULTIPARTY SESSIONS; SESSION TYPES;

COMMUNICATION; COMPUTER SOFTWARE; DESIGN;

FORMAL METHODS;

EID: 77951458230     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01918-0_5     Document Type: Conference Paper

References (19)

1. Bejleri, A., Yoshida, N.: Synchronous multiparty session types. In: Proceedings of Programming Languages Approaches to Concurrency and Communication-Centric Software, PLACES 2008 (2008)
2. Bettini, L., Coppo, M., D'Antoni, L., Luca, M.D., 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. Bonelli, E., Compagnoni, A.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol. 4912, pp. 240-256. Springer, Heidelberg (2008)
4. 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)
5. Carbone, M., Honda, K., Yoshida, N.: Structured interactional exceptions for session types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 402-417. Springer, Heidelberg (2008)
6. Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica 42(2/3), 191-225 (2005)
7. Gay, S., Vasconcelos, V.T.: Asynchronous functional session types. TR 2007-251, University of Glasgow (May 2007)
8. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998)
9. Honda, K., Yoshida, N., Carbone, M.: Web Services, Mobile Processes and Types. The Bulletin of the European Association for Theoretical Computer Science 91, 165-185 (2007)
10. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM, New York (2008)
11. Hu, R., Yoshida, N., Honda, K.: Session-Based Distributed Programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516-541. Springer, Heidelberg (2008)
12. International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme, http://www.iso20022.org/index.cfm?item id=56664#interest
13. Lamport, L.: Time, clocks and the ordering of events in a distributed system. Communications of the ACM 21(7), 558-564 (1978)
14. Mostrous, D., Yoshida, N., Honda, K.: Global Principal Typing in Partially Commutative Asynchronous Sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316-332. Springer, Heidelberg (2009)
15. Schneier, B.: Applied Cryptography: Protocols, Algorithms, and Source Code in C. John Wiley & Sons, Inc., Chichester (1993)
16. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
17. Web Services Choreography Working Group, http://www.w3.org/2002/ws/chor/
18. Wikipedia. Exception handling (2009), http://en.wikipedia.org/wiki/ Exception handling
19. Yoshida, N., Vasconcelos, V.T.: Language primitives and type disciplines for structured communication-based programming revisit. ENTCS 171(4), 73-93 (2007)