ITU
Fabrizio Montesi

Fabrizio Montesi

(Former)

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

Information Desk: 72185000

View graph of relations

  1. 2018
  2. 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 journalPaperResearchpeer-review

  3. 2017
  4. 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-269

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. 2014
  6. Published

    Choreographic Programming

    Montesi, F., 2014, IT-Universitetet i København. 275 p. (ITU-DS; No. 104).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  7. Published

    Progress as Compositional Lock-Freedom

    Carbone, M., Dardha, O. & Montesi, F., 2014, In: Lecture Notes in Computer Science. p. 49-64 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. Published

    Service-oriented Programming with Jolie

    Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. Springer

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  9. 2013
  10. Published

    Compositional Choreographies

    Montesi, F. & Yoshida, N., 2013, CONCUR 2013 – Concurrency Theory . Springer, Vol. 8052. p. 425-439 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  11. Published

    Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

    Carbone, M. & Montesi, F., 2013, In: A C M / S I G P L A N Notices. 48, 1, p. 263-274

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  12. Published

    Process-aware Web Programming with Jolie

    Montesi, F., 2013, SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing . Association for Computing Machinery, p. 761-763 (ACM Symposium on Applied Computing,).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  13. 2012
  14. Published

    Interface-Based Service Composition with Aggregation

    Dalla Preda, M., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented Cloud Computing. Springer, Vol. 7592. p. 48-63 (Lecture Notes in Computer Science, Vol. 7592).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  15. Published

    Merging Multiparty Protocols in Multiparty Choreographies

    Carbone, M. & Montesi, F., 2012, In: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, p. 28-33

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Previous 1 2 Next

ID: 30795992