Billede af Marco Carbone

Marco Carbone

 https://orcid.org/0000-0001-9479-2632
20072025

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2009

    Asynchronous Session Types – Exceptions and Multiparty Interactions

    Carbone, M., Yoshida, N. & Honda, K., 2009, Formal Methods for Web Services. Springer, Bind 5569. s. 187-212 25 s. (Lecture Notes in Computer Science, Bind 5569).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning