Marco Carbone

According to our database1, Marco Carbone authored at least 44 papers between 2002 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





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

Declarative Choreographies and Liveness.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

A Sound Algorithm for Asynchronous Session Subtyping.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

On the boundary between decidability and undecidability of asynchronous session subtyping.
Theor. Comput. Sci., 2018

Choreographies, logically.
Distributed Comput., 2018

Choreographies for Reactive Programming.
CoRR, 2018

Multiparty Classical Choreographies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Undecidability of asynchronous session subtyping.
Inf. Comput., 2017

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.
CoRR, 2017

Multiparty session types as coherence proofs.
Acta Informatica, 2017

Multiparty Asynchronous Session Types.
J. ACM, 2016

Formal Asp. Comput., 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Preface for the special issue of Interaction and Concurrency Experience 2013.
Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program., 2015

Progress as Compositional Lock-Freedom.
Proceedings of the Coordination Models and Languages, 2014

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

Sessions and Separability in Security Protocols.
Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Deadlock-freedom-by-design: multiparty asynchronous global programming.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

ICT-powered Health Care Processes - (Position Paper).
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Structured Communication-Centered Programming for Web Services.
ACM Trans. Program. Lang. Syst., 2012

Towards Interaction Reliability in Concurrent Applications.
Sci. Ann. Comp. Sci., 2012

Merging Multiparty Protocols in Multiparty Choreographies
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Refinement for Transition Systems with Responses
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

Programming Services with Correlation Sets.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

A Logic for Choreographies
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
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Foreword: Festschrift for Mogens Nielsen's 60th birthday.
Theor. Comput. Sci., 2009

Session-based Choreography with Exceptions.
Electron. Notes Theor. Comput. Sci., 2009

Execution Models for Choreographies and Cryptoprotocols
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
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.
Proceedings of the Formal Methods for Web Services, 2009

Theoretical Aspects of Communication-Centred Programming.
Electron. Notes Theor. Comput. Sci., 2008

Structured Interactional Exceptions in Session Types.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

A Calculus of Global Interaction based on Session Types.
Electron. Notes Theor. Comput. Sci., 2007

Web Services, Mobile Processes and Types.
Bull. EATCS, 2007

Structured Communication-Centred Programming for Web Services.
Proceedings of the Programming Languages and Systems, 2007

Unifying Annotated Discourse Hierarchies to Create a Gold Standard.
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.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Using Trust for Secure Collaboration in Uncertain Environments.
IEEE Pervasive Comput., 2003

A Formal Model for Trust in Dynamic Networks.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002