( en | de | ru )

 

Disambiguation of "Carbone, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Preface for the special issue on Interaction and Concurrency Experience 2012.

, , , and . Sci. Comput. Program., (2015)

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)Forwarders as Process Compatibility, Logically., , and . CoRR, (2021)Web Services, Mobile Processes and Types., , and . Bull. EATCS, (2007)Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions., , , and . CDC, page 5371-5375. IEEE, (2006)Security Protocols as Choreographies., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 98-111. Springer, (2021)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)Finite-time stability of discrete-time systems., , , and . ACC, page 5pp.. IEEE, (2004)Multiparty asynchronous session types., , and . POPL, page 273-284. ACM, (2008)