@inproceedings{LanevePadovani08,
  volume = {5065},
  author = {Cosimo Laneve and Luca Padovani},
  series = {LNCS},
  booktitle = {Concurrency, Graphs and Models (Ugo65'08)},
  url = {http://www.di.unito.it/~padovani/Papers/lncs_5065.pdf},
  abstract = { We pair session types and contracts using two encodings. The
              encoding of session types accommodates width and depth subtyping,
              two properties that partially hold in contracts. The encoding of
              contracts accommodates complex synchronization patterns, since
              session types own a simple control protocol. The encodings allow
              one to use the two formalisms interchangeably, within the context
              of dyadic interactions. },
  title = {{The Pairing of Contracts and Session Types}},
  publisher = {Springer},
  year = {2008},
  pages = {681-700},
  doi = {10.1007/978-3-540-68679-8\_42},
}

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