Inference of global progress properties for dynamically interleaved multiparty sessions

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

Volumn 7890 LNCS, Issue , 2013, Pages 45-59

  Coppo, Mario ^a   Dezani Ciancaglini, Mariangiola ^a   Padovani, Luca ^a   Yoshida, Nobuko ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; INFERENCE RULES; MULTIPARTY SESSIONS; SESSION TYPES;

ARTIFICIAL INTELLIGENCE;

COMPUTER SCIENCE;

EID: 84885015667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38493-6_4     Document Type: Conference Paper

References (15)

1. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress inDynamically InterleavedMultiparty Sessions. In: vanBreugel, F.,Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
2. Caires, L., Vieira, H.T.: Conversation types. Theoretical Computer Science 411(51-52), 4399-4440 (2010)
3. Carbone, M., Debois, S.: A graphical approach to progress for structured communication in web services. In: Bliudze, S., Bruni, R., Grohmann, D., Silva, A. (eds.) ICE 2010. EPTCS, vol. 38, pp. 13-27 (2010)
4. Castagna, G., Padovani, L.: Contracts for Mobile Processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 211-228. Springer, Heidelberg (2009)
5. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous Session Types and Progress for Object Oriented Languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 1-31. Springer, Heidelberg (2007) (Pubitemid 350259391)
6. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global Progress for Dynamically InterleavedMultiparty Sessions. Mathematical Structures in Computer Science (to appear)
7. Dardha, O.,Giachino, E., Sangiorgi, D.: Session types revisited. In: De Schreye, D., Janssens, G., King, A. (eds.) PPDP 2012, pp. 139-150. ACM Press (2012)
8. Deniélou, P.-M., Yoshida, N.: Dynamic Multirole Session Types. In: Ball, T., Sagiv,M. (eds.) POPL 2011, pp. 435-446. ACM Press (2011)
9. Dezani-Ciancaglini, M., de'Liguoro, U.: Sessions and Session Types: an Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1-28. Springer, Heidelberg (2010)
10. Dezani-Ciancaglini, M., de'Liguoro, U., Yoshida, N.: On Progress for Structured Communications. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 257-275. Springer, Heidelberg (2008)
11. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session Types for Object-Oriented Languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
12. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: Necula, G.C.,Wadler, P. (eds.) POPL 2008, pp. 273-284. ACM Press (2008)
13. Kobayashi, N.: A Type System for Lock-Free Processes. Information and Computation 177, 122-159 (2002)
14. Padovani, L.: From Lock Freedom to Progress Using Session Types. In: Yoshida, N., Vanderbauwhede, W. (eds.) PLACES (to appear, 2013)
15. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: AModel of Service-Oriented Computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269-283. Springer, Heidelberg (2008)