People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Marco Giunti

[1] Marco Giunti, Catuscia Palamidessi, and Frank D. Valencia. Hide and New in the Pi-Calculus. In Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012), pages 65-80, New Castle upon Tyne, United Kingdom, August 2012.
[ bib | http ]
[2] Marco Giunti. A type checking algorithm for qualified session types. In Francesco Tiezzi Laura Kovács, Rosario Pugliese, editor, 7th International Workshop on Automated Specification and Verification of Web Systems, Reykjavik, Iceland, August 2011. Electronic Proceedings in Theoretical Computer Science.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi