| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Marco Giunti: A type checking algorithm for qualified session types WWV 2011: 96-114 |
| 2010 | ||
| 3 | | Marco Giunti, Vasco Thudichum Vasconcelos: A Linear Account of Session Types in the Pi Calculus. CONCUR 2010: 432-446 |
| 2007 | ||
| 2 | | Michele Bugliesi, Marco Giunti: Secure implementations of typed channel abstractions. POPL 2007: 251-262 |
| 2005 | ||
| 1 | | Michele Bugliesi, Marco Giunti: Typed Processes in Untyped Contexts. TGC 2005: 19-32 |
| 1 | Michele Bugliesi | [1] [2] |
| 2 | Vasco Thudichum Vasconcelos | [3] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page