<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Typing liveness in multiparty communicating systems"^^ . "Session type systems are an effective tool to prove that communicating programs do not go wrong, ensuring that the participants of a session follow the protocols described by the types. In a previous work we introduced a typing discipline for the analysis of progress in binary sessions. In this paper we generalize the approach to multiparty sessions following the conversation type approach, while strengthening progress to liveness. We combine the usual session-like fidelity analysis with the liveness analysis and devise an original treatment of recursive types allowing us to address challenging configurations that are out of the reach of existing approaches."^^ . "2014" . . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Luca"^^ . "Padovani"^^ . "Luca Padovani"^^ . . . . . . "Typing liveness in multiparty communicating systems (PDF)"^^ . . . "TorresVieira_LNCS_2014.pdf"^^ . . . "Typing liveness in multiparty communicating systems (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Typing liveness in multiparty communicating systems (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Typing liveness in multiparty communicating systems (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Typing liveness in multiparty communicating systems (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2322 \n\nTyping liveness in multiparty communicating systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .