Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C06
Information Desk: 72185000
- Journal article
- Published
Undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In: Information and Computation. 256, p. 300-320Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
ID: 274971