Marco Carbone

Marco Carbone

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

Research activity per year

Filter
Book chapter

Search results

  • 2009

    Asynchronous Session Types – Exceptions and Multiparty Interactions

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research