
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
- 2021
- Published
Security Protocols as Choreographies
Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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
- 2019
- Published
Declarative Choreographies and Liveness
Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Sound Algorithm for Asynchronous Session Subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, In: Leibniz International Proceedings in Informatics. 140, p. 34:1–34:16Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 2018
- Published
Multparty Classical Choreographies
Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 Sep 2018. 20 p.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 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
- 2017
- Published
Multiparty session types as coherence proofs
Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 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
- 2016
- Published
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, In: Leibniz International Proceedings in Informatics (LIPIcs). 59, p. 1-15 15 p., 33.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
ID: 274971