Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Marco Carbone

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c16]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/CarboneM13
- ask others
Marco Carbone, Fabrizio Montesi: Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL 2013: 263-274
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/post/CarboneG13
- ask others
Marco Carbone, Joshua D. Guttman: Sessions and Separability in Security Protocols. POST 2013: 267-286
2012
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cuza/BliudzeBCS12
- ask others
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva: Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comp. Sci. 22(1): 1-4 (2012)
[j8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/CarboneHY12
- ask others
Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8 (2012)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6331
- ask others
Marco Carbone, Fabrizio Montesi: Merging Multiparty Protocols in Multiparty Choreographies. PLACES 2012: 21-27
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-4270
- ask others
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski: Refinement for Transition Systems with Responses. FIT 2012: 48-55
[e3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/2011
- ask others
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
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3458
- ask others
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012
2011
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icsoc/MontesiC11
- ask others
Fabrizio Montesi, Marco Carbone: Programming Services with Correlation Sets. ICSOC 2011: 125-141
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0144
- ask others
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (Eds.): Proceedings Fourth Interaction and Concurrency Experience. EPTCS 59, 2011
2010
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/ChristiansenCH10
- ask others
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt: Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5566
- ask others
Marco Carbone, Søren Debois: A Graphical Approach to Progress for Structured Communication in Web Services. ICE 2010: 13-27
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4159
- ask others
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies. PLACES 2010: 29-43

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Carbone09
- ask others
Marco Carbone: Session-based Choreography with Exceptions. Electr. Notes Theor. Comput. Sci. 241: 35-55 (2009)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/CarboneSV09
- ask others
Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfm/CarboneYH09
- ask others
Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5444
- ask others
Marco Carbone, Joshua D. Guttman: Choreographies with Secure Boxes and Compromised Principals. ICE 2009: 1-15
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1002-0935
- ask others
Marco Carbone, Joshua D. Guttman: Execution Models for Choreographies and Cryptoprotocols. PLACES 2009: 31-41
2008
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CarboneHY08
- ask others
Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/CarboneHY08
- ask others
Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/HondaYC08
- ask others
Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284
2007
[j4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/HondaYC07
- ask others
Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CarboneHY07
- ask others
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)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/CarboneHY07
- ask others
Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17
2004
[c2]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/CarboneNS04
- ask others
Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Calculus for Trust Management. FSTTCS 2004: 161-173
2003
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/njc/CarboneM03
- ask others
Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003)
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/CarboneNS03
- ask others
Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54-
2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CarboneM02
- ask others
Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68(2): 15-32 (2002)