Marco Carbone

Marco Carbone

Associate Professor, Head of study programme

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

Building: 4C06

Phone: +45 72185067

Information Desk: 72185000

View graph of relations

  1. 2021
  2. 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 JournalJournal articleResearchpeer-review

Previous 1 2 3 Next

ID: 274971