@inproceedings{PadovaniVieiraVasconcelos14,
  volume = {8459},
  author = {Luca Padovani and Vasco Thudichum Vasconcelos and Hugo Torres
            Vieira},
  series = {LNCS},
  booktitle = {Proceedings of the International Conference on Coordination
               Models and Languages (COORDINATION'14)},
  url = {http://hal.archives-ouvertes.fr/hal-00960879/document},
  abstract = { 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. },
  title = {{Typing Liveness in Multiparty Communicating Systems}},
  publisher = {Springer},
  year = {2014},
  pages = {147-162},
  doi = {10.1007/978-3-662-43376-8\_10},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)