( en | de | ru )

 

Disambiguation of "Carbone, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
A Sound Algorithm for Asynchronous Session Subtyping.

, , , , and . CONCUR, volume 140 of LIPIcs, page 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paris Carbone

Martim Carbone

Gerardina Carbone

Elena Carbone

Monika Marcotty

 

Other publications of authors with the same name

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types., , and . CoRR, (2017)Execution Models for Choreographies and Cryptoprotocols, and . PLACES, volume 17 of EPTCS, page 31-41. (2009)Multiparty Classical Choreographies., , , and . LOPSTR, volume 11408 of Lecture Notes in Computer Science, page 59-76. Springer, (2018)Security Protocols as Choreographies., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 98-111. Springer, (2021)Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions., , , and . CDC, page 5371-5375. IEEE, (2006)Forwarders as Process Compatibility, Logically., , and . CoRR, (2021)Finite-time stability of discrete-time systems., , , and . ACC, page 5pp.. IEEE, (2004)Multiparty asynchronous session types., , and . POPL, page 273-284. ACM, (2008)Web Services, Mobile Processes and Types., , and . Bull. EATCS, (2007)A Sound and Complete Projection for Global Types., , and . ITP, volume 268 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)