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