Marco Carbone

According to our database, Marco Carbone authored at least 53 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Logical Interpretation of Asynchronous Multiparty Compatibility.

Marco Carbone, Sonia Marin, Carsten Schürmann

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

A Sound and Complete Projection for Global Types.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2021

Forwarders as Process Compatibility, Logically.

Marco Carbone, Sonia Marin, Carsten Schürmann

CoRR, 2021

Synchronous Forwarders.

Marco Carbone, Sonia Marin, Carsten Schürmann

CoRR, 2021

Security Protocols as Choreographies.

Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann

Proceedings of the Protocols, Strands, and Logic, 2021

2019

A Sound Algorithm for Asynchronous Session Subtyping (extended version).

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

CoRR, 2019

Declarative Choreographies and Liveness.

Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

A Sound Algorithm for Asynchronous Session Subtyping.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

On the boundary between decidability and undecidability of asynchronous session subtyping.

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

Theor. Comput. Sci., 2018

Choreographies, logically.

Marco Carbone, Fabrizio Montesi, Carsten Schürmann

Distributed Comput., 2018

Choreographies for Reactive Programming.

Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira

CoRR, 2018

Multiparty Classical Choreographies.

Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

Undecidability of asynchronous session subtyping.

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

Inf. Comput., 2017

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

CoRR, 2017

Multiparty session types as coherence proofs.

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida

Acta Informatica, 2017

2016

Multiparty Asynchronous Session Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

J. ACM, 2016

Editorial.

Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich

Formal Aspects Comput., 2016

Foundations of Session Types and Behavioural Contracts.

Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro

ACM Comput. Surv., 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Preface for the special issue of Interaction and Concurrency Experience 2013.

Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova

Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.

Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova

Sci. Comput. Program., 2015

2014

Progress as Compositional Lock-Freedom.

Marco Carbone, Ornela Dardha, Fabrizio Montesi

Proceedings of the Coordination Models and Languages, 2014

2013

Towards Global and Local Types for Adaptation.

Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Software Engineering and Formal Methods, 2013

Sessions and Separability in Security Protocols.

Marco Carbone, Joshua D. Guttman

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Deadlock-freedom-by-design: multiparty asynchronous global programming.

Marco Carbone, Fabrizio Montesi

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

ICT-powered Health Care Processes - (Position Paper).

Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

2012

Structured Communication-Centered Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2012

Towards Interaction Reliability in Concurrent Applications.

Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva

Sci. Ann. Comput. Sci., 2012

Merging Multiparty Protocols in Multiparty Choreographies

Marco Carbone, Fabrizio Montesi

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Refinement for Transition Systems with Responses

Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

2011

Programming Services with Correlation Sets.

Fabrizio Montesi, Marco Carbone

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

A Logic for Choreographies

Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

A Graphical Approach to Progress for Structured Communication in Web Services

Marco Carbone, Søren Debois

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.

David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

2009

Foreword: Festschrift for Mogens Nielsen's 60th birthday.

Marco Carbone, Pawel Sobocinski, Frank D. Valencia

Theor. Comput. Sci., 2009

Execution Models for Choreographies and Cryptoprotocols

Marco Carbone, Joshua D. Guttman

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Choreographies with Secure Boxes and Compromised Principals

Marco Carbone, Joshua D. Guttman

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.

Marco Carbone, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Methods for Web Services, 2009

2008

Session-based Choreography with Exceptions.

Marco Carbone

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Structured Interactional Exceptions in Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Web Services, Mobile Processes and Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

Bull. EATCS, 2007

Structured Communication-Centred Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2007

2006

Theoretical Aspects of Communication-Centred Programming.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

A Calculus of Global Interaction based on Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions.

Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2004

Unifying Annotated Discourse Hierarchies to Create a Gold Standard.

Marco Carbone, Ya'akov Gal, Stuart M. Shieber, Barbara J. Grosz

Proceedings of the SIGDIAL 2004 Workshop, The 5th Annual Meeting of the Special Interest Group on Discourse and Dialogue, April 30, 2004

A Calculus for Trust Management.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Control of linear discrete-time systems over a finite-time interval.

Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Finite-time stability of discrete-time systems.

Francesco Amato, Marco Carbone, Marco Ariola, Carlo Cosentino

Proceedings of the 2004 American Control Conference, 2004

2003

Using Trust for Secure Collaboration in Uncertain Environments.

Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Damsgaard Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andrew Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna Di Marzo Serugendo, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen

IEEE Pervasive Comput., 2003

A Formal Model for Trust in Dynamic Networks.

Marco Carbone, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

On the Expressive Power of Polyadic Synchronisation in pi-calculus.

Marco Carbone, Sergio Maffeis

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002