@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "giunti"' papers.bib}}

@INPROCEEDINGS{giunti:hal-00761118,
  ADDRESS = {New Castle upon Tyne, United Kingdom},
  AUTHOR = {Giunti, Marco and Palamidessi, Catuscia and Valencia, Frank D.},
  BOOKTITLE = {{Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012)}},
  DOI = {10.4204/EPTCS.89},
  MONTH = AUG,
  PAGES = {65-80},
  TITLE = {{Hide and New in the Pi-Calculus}},
  URL = {http://hal.inria.fr/hal-00761118},
  X-ID-HAL = {hal-00761118},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  YEAR = {2012}
}

@INPROCEEDINGS{giunti:2011:hal-00644061:1,
  AUTHOR = {Giunti, Marco},
  TITLE = {{A type checking algorithm for qualified session types}},
  BOOKTITLE = {{7th International Workshop on Automated Specification and Verification of Web Systems}},
  YEAR = {2011},
  MONTH = AUG,
  EDITOR = {Laura Kov{\'a}cs, Rosario Pugliese, Francesco Tiezzi},
  DOI = {10.4204/EPTCS.61.7},
  PUBLISHER = {Electronic Proceedings in Theoretical Computer Science},
  ADDRESS = {Reykjavik, Iceland},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  URL = {http://hal.inria.fr/hal-00644061/en},
  X-ID-HAL = {hal-00644061}
}

This file has been generated by bibtex2html 1.74