Dynamic multirole session types

ACM SIGPLAN Notices

Volumn 46, Issue 1, 2011, Pages 435-446

  Deniélou, Pierre Malo ^a   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Auction; Communications; Dynamic protocols; Join leave; Mobile processes; Multiparty; Peer to peer; Roles; Session types

Indexed keywords

AUCTION; JOIN-LEAVE; MOBILE PROCESS; MULTIPARTY; PEER TO PEER; ROLES; SESSION TYPES;

COMMUNICATION; WIRELESS NETWORKS;

DYNAMICS;

EID: 79251564121     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1925844.1926435     Document Type: Conference Paper

References (36)

1. Web Services Choreography Description Language. http://www. w3.org/2002/ws/chor/.
2. Advanced Message Queueing Protocols. http://www.amqp. org/confluence/display/AMQP/Advanced+Message+ Queuing+Pr%otocol.
3. On-line Appendix of this paper. http://www.doc.ic.ac.uk/̃pmalo/ dynamic.
4. L. Bettini et al. Global Progress in Dynamically Interfered Multiparty Sessions. In CONCUR'08, volume 5201 of LNCS, pages 418-433. Springer, 2008.
5. K. Bhargavan, R. Corin, P.-M. Deniélou, C. Fournet, and J. Leifer. Cryptographic protocol synthesis and verification for multiparty sessions. In CSF, pages 124-140, 2009.
6. L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida. A theory of designby- contract for distributed multiparty interactions. In CONCUR'10, volume 6269 of LNCS, pages 162-176. Springer, 2010.
7. M. Bugliesi, G. Castagna, and S. Crafa. Access control for mobile agents: The calculus of boxed ambients. TOPLAS, 26(1):57-124, 2004.
8. L. Caires and H. T. Vieira. Conversation types. In ESOP, volume 5502 of LNCS, pages 285-300. Springer, 2009. A full version will appear in TCS.
9. S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk. Session Types for Access and Information Flow Control. In CONCUR'10, volume 6269 of LNCS, pages 237-252. Springer, 2010.
10. S. Capecchi, E. Giachino, and N. Yoshida. Global escape in multiparty session. In 30th FSTTCS'10, LIPICS, 2010. To appear.
11. G. Castagna and L. Padovani. Contracts for mobile processes. In CONCUR, number 5710 in LNCS, pages 211-228, 2009.
12. G. Castagna, J. Vitek, and F. Z. Nardelli. The seal calculus. Inf. Comput., 201(1):1-54, 2005.
13. R. Corin and P. Deniélou. A protocol compiler for secure sessions in ML. In TGC, volume 4912 of LNCS, pages 276-293. Springer, 2008.
14. P.-M. Deniélou and N. Yoshida. Buffered communication analysis in distributed multiparty sessions. In CONCUR'10, volume 6269 of LNCS, pages 343-357. Springer, 2010. Full version, Prototype at http://www.doc.ic.ac.uk/ ̃pmalo/multianalysis.
15. M. Dezani-Ciancaglini and U. de' Liguoro. Sessions and Session Types: an Overview. In WS-FM'09, volume 6194 of LNCS, pages 1-28. Springer, 2010.
16. E. Giachino, M. Sackman, S. Drossopoulou, and S. Eisenbach. Softly safely spoken: role playing for session types. Preliminary on-line preproceeding, 64-69 pages, http://gloss.di.fc.ul. pt/places09/preproceedings.pdf.
17. K. Honda, A. Mukhamedov, G. Brown, T.-C. Chen, and N. Yoshida. Scribbling interactions with a formal foundation. In ICDCIT, LNCS. Springer, 2011. To appear.
18. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22-138. Springer, 1998.
19. K. Honda, N. Yoshida, and M. Carbone. Multiparty Asynchronous Session Types. In POPL, pages 273-284, 2008.
20. R. Hu, D. Kouzapas, O. Pernet, N. Yoshida, and K. Honda. Type- Safe Eventful Sessions in Java. In ECOOP'10, volume 6183 of LNCS, pages 329-353. Springer, 2010.
21. R. Hu, N. Yoshida, and K. Honda. Session-Based Distributed Programming in Java. In ECOOP'08, volume 5142 of LNCS, pages 516- 541, 2008.
22. D. Mostrous, N. Yoshida, and K. Honda. Global principal typing in partially commutative asynchronous sessions. In ESOP'09, volume 5502 of LNCS, pages 316-332, 2009.
23. L. Nielsen, N. Yoshida, and K. Honda. Multiparty symmetric sumtypes. Technical Report 8, Department of Computing, Imperial College London, 2009. To appear in Express'10. Apims Project at: http://www.thelas.dk/index.php/apims.
24. Ocean Observatories Initiative (OOI). http://www. oceanleadership.org/ programs-and-partnerships/ ocean-observin%g/ooi/.
25. O. Pernet, N. Ng, R. Hu, N. Yoshida, and Y. Kryftis. Safe Parallel Programming with Session Java. Technical Report 14, Department of Computing, Imperial College London, 2010.
26. A. Raad. Smelling of Roses: ROles, Specification, Specification and Scrutiny. DoC master's thesis, Imperial College London, 2010.
27. Savara JBoss Project. http://www.jboss.org/savara.
28. Scribble Project. http://www.jboss.org/scribble.
29. K. C. Sivaramakrishnan, K. Nagaraj, L. Ziarek, and P. Eugster. Efficient session type guided distributed interaction. In Coordination'10, volume 6116 of LNCS, pages 152-167. Springer, 2010.
30. K. Suenaga. Type-based deadlock-freedom verification for non-blockstructured lock primitives and mutable references. In APLAS, volume 5356 of LNCS, pages 155-170, 2008.
31. K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In PARLE'94, volume 817 of LNCS, pages 398- 413. Springer, 1994.
32. UNIFI. International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme. http://www. iso20022.org.
33. H. Viera. A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing. PhD thesis, University Nova de Lisboa, 2010.
34. N. Yoshida. Graph types for monadic mobile processes. In FSTTCS, volume 1180 of LNCS, pages 371-386, 1996.
35. N. Yoshida, P.-M. Deniélou, A. Bejleri, and R. Hu. Parameterised multiparty session types. In FoSSaCs, volume 6014 of LNCS, pages 128-145, 2010.
36. N. Yoshida, V. T. Vasconcelos, H. Paulino, and K. Honda. Sessionbased compilation framework for multicore programming. In FMCO'08, volume 5751 of LNCS, pages 226-246. Springer, 2009.