Marco Carbone

Available identifiers

zbMath Open carbone.marcoMaRDI QIDQ1699418

List of research outcomes

Publication	Date of Publication	Type
A sound and complete projection for global types	2024-11-26	Paper
Declarative choreographies and liveness	2024-02-06	Paper
Multiparty classical choreographies	2023-11-09	Paper
A Sound Algorithm for Asynchronous Session Subtyping	2023-02-03	Paper
Security protocols as choreographies	2022-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5856424	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4963910	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5150071	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4621156	2019-02-08	Paper
Multiparty Asynchronous Session Types	2018-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4608685	2018-03-21	Paper
On the boundary between decidability and undecidability of asynchronous session subtyping	2018-03-12	Paper
Choreographies, logically	2018-02-23	Paper
Undecidability of asynchronous session subtyping	2017-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5357720	2017-09-12	Paper
Multiparty session types as coherence proofs	2017-06-14	Paper
Deadlock-freedom-by-design	2014-11-27	Paper
Choreographies, Logically	2014-09-15	Paper
Multiparty asynchronous session types	2014-09-12	Paper
Theoretical aspects of communication-centred programming	2014-01-17	Paper
A calculus of global interaction based on session types	2013-12-06	Paper
On the expressive power of polyadic synchronisation in \(\pi \)-calculus	2013-08-15	Paper
Sessions and Separability in Security Protocols	2013-08-06	Paper
Structured Interactional Exceptions in Session Types	2008-11-25	Paper
Structured Communication-Centred Programming for Web Services	2007-09-04	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4457838	2004-03-17	Paper

Research outcomes over time

This page was built for person: Marco Carbone