Marco Carbone – Publications — IT-University of Copenhagen

Phone72185067
Emailmacaitudk

Research activity per year

12 Journal article
9 Conference article
8 Article in proceedings
1 Book chapter
More
- 1 Paper
- 1 Editorial

1 results

Filter

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