ITU
Marco Carbone

Marco Carbone

Associate Professor, Head of study programme

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C06

Phone: +45 72185067

Information Desk: 72185000

View graph of relations

26 - 29 out of 29Page size: 25
  1. Journal article
  2. Published

    Structured Communication-Centered Programming for Web Services

    Carbone, M., Honda, K. & Yoshida, N., 2012, In: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  3. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  4. Published

    On the boundary between decidability and undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In: Theoretical Computer Science. 722, p. 19-51 33 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  5. Published

    Undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In: Information and Computation. 256, p. 300-320

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Previous 1 2 Next

ID: 274971