Marco Carbone

Marco Carbone, Fabrizio Montesi: Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL 2013: 263-274

Marco Carbone, Joshua D. Guttman: Sessions and Separability in Security Protocols. POST 2013: 267-286

Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva: Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comp. Sci. 22(1): 1-4 (2012)

Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8 (2012)

Marco Carbone, Fabrizio Montesi: Merging Multiparty Protocols in Multiparty Choreographies. PLACES 2012: 21-27

Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski: Refinement for Transition Systems with Responses. FIT 2012: 48-55

Marco Carbone, Jean-Marc Petit (Eds.): Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7176, Springer 2012, isbn 978-3-642-29833-2

Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012

Fabrizio Montesi, Marco Carbone: Programming Services with Correlation Sets. ICSOC 2011: 125-141

Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (Eds.): Proceedings Fourth Interaction and Concurrency Experience. EPTCS 59, 2011

David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt: Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160

Marco Carbone, Søren Debois: A Graphical Approach to Progress for Structured Communication in Web Services. ICE 2010: 13-27

Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies. PLACES 2010: 29-43

Marco Carbone: Session-based Choreography with Exceptions. Electr. Notes Theor. Comput. Sci. 241: 35-55 (2009)

Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)

Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212

Marco Carbone, Joshua D. Guttman: Choreographies with Secure Boxes and Compromised Principals. ICE 2009: 1-15

Marco Carbone, Joshua D. Guttman: Execution Models for Choreographies and Cryptoprotocols. PLACES 2009: 31-41

Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008)

Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417

Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284

Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007)

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)

Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17

Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Calculus for Trust Management. FSTTCS 2004: 161-173

Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003)

Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54-

Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68(2): 15-32 (2002)