PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Carbone, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations of Session Types and Behavioural Contracts.

, , , , , , , , , , , and . ACM Comput. Surv., 49 (1): 3:1-3:36 (2016)

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.

Marco Ströbel University of Stuttgart

Marco Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

Marco Dettling University of Stuttgart

 

Other publications of authors with the same name

Multiparty Asynchronous Session Types., , and . J. ACM, 63 (1): 9:1-9:67 (2016)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)Structured Interactional Exceptions in Session Types., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 402-417. Springer, (2008)Choreographies with Secure Boxes and Compromised Principals, and . ICE, volume 12 of EPTCS, page 1-15. (2009)ICT-powered Health Care Processes - (Position Paper)., , , , , and . FHIES, volume 8315 of Lecture Notes in Computer Science, page 59-68. Springer, (2013)A Formal Model for Trust in Dynamic Networks., , and . SEFM, page 54-. IEEE Computer Society, (2003)On the Expressive Power of Polyadic Synchronisation in pi-calculus., and . Nord. J. Comput., 10 (2): 70-98 (2003)Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways., , and . WS-FM, volume 6551 of Lecture Notes in Computer Science, page 146-160. Springer, (2010)Unifying Annotated Discourse Hierarchies to Create a Gold Standard., , , and . SIGDIAL Workshop, page 118-126. The Association for Computer Linguistics, (2004)Progress as Compositional Lock-Freedom., , and . COORDINATION, volume 8459 of Lecture Notes in Computer Science, page 49-64. Springer, (2014)