Marco Carbone

Publikation

Publikationer pr. år 2009 2009 2010 2011 2012 2013 2014 2016 2017 2018 2019 2021 2023 2024

• 12 Tidsskriftartikel
• 9 Konferenceartikel
• 8 Konferencebidrag i proceedings
• 1 Bidrag til bog/antologi
• 2 Mere
  • 1 Paper
  • 1 Leder

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

  A Sound and Complete Projection for Global Types

  Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Computable 100%
  • Global Types 100%
  • Projection Function 100%
  • Passing System 50%
  • Computable Partial Function 50%
• 2019

  A Sound Algorithm for Asynchronous Session Subtyping

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, I: Leibniz International Proceedings in Informatics. 140, s. 34:1–34:16

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Session Types 100%
  • Distributed Systems 100%
  • Programming Languages 33%
  • Undecidable 33%
  • Large Classes 33%
• 2016

  Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

  Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, I: Leibniz International Proceedings in Informatics (LIPIcs). 59, s. 1-15 15 s., 33.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Calculus 100%
  • Multiparty Session Types 100%
  • Arbitrary Number 100%
  • Centralized Control 100%
  • Classical Linear Logic 50%
• 2014

  Choreographies, Logically

  Carbone, M., Montesi, F. & Schürmann, C., 2014, I: Lecture Notes in Computer Science. 8704, s. 47-62 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Distributed Systems 100%
  • Reasoning about Programs 100%
  • Choreographic Programming 100%
  • Proof Theory 100%
  • Process Implementation 100%

• Progress as Compositional Lock-Freedom

  Carbone, M., Dardha, O. & Montesi, F., 2014, I: Lecture Notes in Computer Science. s. 49-64 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Lock-freedom 100%
  • Catalyser 100%
  • Execution Context 100%
  • Session-based 66%
  • Session Types 33%
• 2012

  Merging Multiparty Protocols in Multiparty Choreographies

  Carbone, M. & Montesi, F., 2012, I: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, s. 28-33

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2011

  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

  Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, I: Lecture Notes in Computer Science. 6551, s. 146-160 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2010

  A Graphical Approach to Progress for Structured Communication in Web Services

  Carbone, M. & Debois, S., 2010, I: Electronic Proceedings in Theoretical Computer Science. 38

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2009

  Choreographies with Secure Boxes and Compromised Principals

  Carbone, M. & Guttman, J., 2009, I: Electronic Proceedings in Theoretical Computer Science. 12, s. 1-15 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil