| * | 2009 |
|---|
| 12 | EE | Marco Carbone,
Nobuko Yoshida,
Kohei Honda:
Asynchronous Session Types: Exceptions and Multiparty Interactions.
SFM 2009: 187-212 |
| 11 | EE | Marco Carbone:
Session-based Choreography with Exceptions.
Electr. Notes Theor. Comput. Sci. 241: 35-55 (2009) |
| 10 | EE | Marco Carbone,
Pawel Sobocinski,
Frank D. Valencia:
Foreword: Festschrift for Mogens Nielsen's 60th birthday.
Theor. Comput. Sci. 410(41): 4001-4005 (2009) |
| 2008 |
|---|
| 9 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Interactional Exceptions in Session Types.
CONCUR 2008: 402-417 |
| 8 | EE | Kohei Honda,
Nobuko Yoshida,
Marco Carbone:
Multiparty asynchronous session types.
POPL 2008: 273-284 |
| 7 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming.
Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008) |
| 2007 |
|---|
| 6 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services.
ESOP 2007: 2-17 |
| 5 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types.
Electr. Notes Theor. Comput. Sci. 171(3): 127-151 (2007) |
| 2004 |
|---|
| 4 | EE | Marco Carbone,
Mogens Nielsen,
Vladimiro Sassone:
A Calculus for Trust Management.
FSTTCS 2004: 161-173 |
| 2003 |
|---|
| 3 | EE | Marco Carbone,
Mogens Nielsen,
Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks.
SEFM 2003: 54- |
| 2 | | Marco Carbone,
Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Nord. J. Comput. 10(2): 70-98 (2003) |
| 2002 |
|---|
| 1 | EE | Marco Carbone,
Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
