Typing liveness in multiparty communicating systems

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

Volumn 8459 LNCS, Issue , 2014, Pages 147-162

  Padovani, Luca ^a   Vasconcelos, Vasco Thudichum ^b   Vieira, Hugo Torres ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EFFECTIVE TOOL; FIDELITY ANALYSIS; LIVENESS; MULTIPARTY SESSIONS; RECURSIVE TYPES; SESSION TYPES;

ARTIFICIAL INTELLIGENCE;

EID: 84902590064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-662-43376-8_10     Document Type: Conference Paper

References (22)

1. Amadio, R.M., Boudol, G., Lhoussaine, C.: On message deliverability and non-uniform receptivity. Fundam. Inform. 53, 105-129 (2002)
2. Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A type system for flexible role assignment in multiparty communicating systems. In: Palamidessi, C., Ryan, M.D. (eds.) TGC 2012. LNCS, vol. 8191, pp. 82-96. Springer, Heidelberg (2013)
3. 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)
4. Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci. 411, 4399-4440 (2010)
5. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34, 8 (2012)
6. Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 45-59. Springer, Heidelberg (2013)
7. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. MSCS (to appear)
8. 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)
9. Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42, 191-225 (2005)
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., 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) (Pubitemid 128054298)
12. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, pp. 273-284. ACM (2008)
13. Kobayashi, N.: A type system for lock-free processes. Inf. Comput. 177, 122-159 (2002)
14. Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
15. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I and II. Inf. Comput. 100, 1-77 (1992)
16. Padovani, L.: From Lock Freedom to Progress Using Session Types. In: Proceedings of the 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013). EPTCS, vol. 137, pp. 3-19 (2013)
17. Padovani, L.: Deadlock and lock freedom in the linear π-calculus. Technical report, HAL (2014)
18. Padovani, L., Vasconcelos, V.T., Vieira, H.T.: Typing liveness in multiparty communicating systems. Technical report (2014), http://hal.inria.fr/ hal-00960879
19. Sangiorgi, D.: The name discipline of uniform receptiveness. Theor. Comput. Sci 221, 457-493 (1999)
20. Vasconcelos, V.T.: Typed concurrent objects. In: Pareschi, R. (ed.) ECOOP 1994. LNCS, vol. 821, pp. 100-117. Springer, Heidelberg (1994)
21. Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52-70 (2012)
22. Torres Vieira, H., Thudichum Vasconcelos, V.: Typing progress in communication-centred systems. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 236-250. Springer, Heidelberg (2013)