%0 Conference Proceedings
%T Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
%+ Università degli studi di Torino = University of Turin (UNITO)
%+ Imperial College London
%A Coppo, Mario
%A Dezani-Ciancaglini, Mariangiola
%A Padovani, Luca
%A Yoshida, Nobuko
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 15th International Conference on Coordination Models and Languages (COORDINATION)
%C Florence, Italy
%Y Rocco Nicola
%Y Christine Julien
%I Springer
%3 Coordination Models and Languages
%V LNCS-7890
%P 45-59
%8 2013-06-03
%D 2013
%R 10.1007/978-3-642-38493-6_4
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Conventional session type systems guarantee progress within single sessions, but do not usually take into account the dependencies arising from the interleaving of simultaneously active sessions and from session delegations. As a consequence, a well-typed system may fail to have progress, even assuming that helper processes can join the system after its execution has started. In this paper we develop a static analysis technique, specified as a set of syntax-directed inference rules, that is capable of verifying whether a system of processes engaged in simultaneously active multiparty sessions has the progress property.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01486034/document
%2 https://inria.hal.science/hal-01486034/file/978-3-642-38493-6_4_Chapter.pdf
%L hal-01486034
%U https://inria.hal.science/hal-01486034
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-7890
%~ IFIP-DISCOTEC