Marco Carbone

Fastnet72185067
E-mailmacaitudk

Publikationer pr. år

12 Tidsskriftartikel
9 Konferenceartikel
8 Konferencebidrag i proceedings
1 Bidrag til bog/antologi
Mere
- 1 Paper
- 1 Leder

12 resultater

Filter

2021
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, I: Logical Methods in Computer Science. 17, 1, s. 1 20 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
2018
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, I: Distributed Computing. 31, 1, s. 51-67 17 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
On the boundary between decidability and undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2018, I: Theoretical Computer Science. 722, s. 19-51 33 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
2017
Multiparty session types as coherence proofs
Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, I: Acta Informatica. 54, 3, s. 243-269
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
Undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2017, I: Information and Computation. 256, s. 300-320
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
2016
Foundations of Session Types and Behavioural Contracts
Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P.-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, I: A C M Computing Surveys. 49, 1, s. 1 16 s., 3.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
Multiparty Asynchronous Session Types
Honda, K., Yoshida, N. & Carbone, M., 2016, I: Journal of the ACM. 63, 1, s. 1 67 s., 9.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
2013
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
Carbone, M. & Montesi, F., 2013, I: A C M / S I G P L A N Notices. 48, 1, s. 263-274
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
2012
Structured Communication-Centered Programming for Web Services
Carbone, M., Honda, K. & Yoshida, N., 2012, I: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
2010
A Logic for Choreographies
Lopez, H. A., Carbone, M., Hildebrandt, T. & Grohmann, D., 2010, I: Places. 69, s. 29-43
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
2009
Execution Models for Choreographies and Cryptoprotocols
Carbone, M. & Guttman, J., 2009, I: Electronic Proceedings in Theoretical Computer Science. 17, s. 1-11 11 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
Session-based Choreography with Exceptions
Carbone, M., 2009, I: Electronical Notes in Theoretical Computer Science. 241, s. 35-55 21 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil

Marco Carbone

Publikation

Søgeresultater