Billede af Marco Carbone
20092023

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 kapitelBidrag til bog/antologiForskning