Marco Carbone

According to our database1, Marco Carbone
  • authored at least 42 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
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 Inf., 2017

2016
Multiparty Asynchronous Session Types.
J. ACM, 2016

Editorial.
Formal Asp. Comput., 2016

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

Undecidability of Asynchronous Session Subtyping.
CoRR, 2016

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

2015
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

Multiparty Session Types as Coherence Proofs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

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

Choreographies, Logically.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
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

2012
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

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

2010
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

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

Session-based Choreography with Exceptions.
Electr. 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

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

Multiparty asynchronous session types.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

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

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

Web Services, Mobile Processes and Types.
Bulletin of the EATCS, 2007

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

2004
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

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

On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Nord. J. 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

2002
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Electr. Notes Theor. Comput. Sci., 2002


  Loading...