( en | de | ru )

 

Disambiguation of "Carbone, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Choreographies, logically.

, , and . Distributed Comput., 31 (1): 51-67 (2018)

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

Johannes Marcour

 

Other publications of authors with the same name

Multiparty Classical Choreographies., , , and . LOPSTR, volume 11408 of Lecture Notes in Computer Science, page 59-76. Springer, (2018)Multiparty asynchronous session types., , and . POPL, page 273-284. ACM, (2008)Security Protocols as Choreographies., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 98-111. Springer, (2021)Web Services, Mobile Processes and Types., , and . Bull. EATCS, (2007)Finite-time stability of discrete-time systems., , , and . ACC, page 5pp.. IEEE, (2004)Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions., , , and . CDC, page 5371-5375. IEEE, (2006)Structured Communication-Centred Programming for Web Services., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 2-17. Springer, (2007)Choreographies, Logically., , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 47-62. Springer, (2014)A Probabilistic Choreography Language for PRISM., and . COORDINATION, volume 14676 of Lecture Notes in Computer Science, page 20-37. Springer, (2024)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)