|
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
|