Kickstarting Choreographic Programming

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour.
Original languageEnglish
Title of host publicationWeb Services, Formal Methods, and Behavioral Types : Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing
EditorsThomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
PublisherSpringer
Publication date2016
Pages3-10
ISBN (Print)978-3-319-33611-4
ISBN (Electronic)978-3-319-33612-1
DOIs
Publication statusPublished - 2016
Event11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing - Eindhoven, Netherlands
Duration: 11. Sep 201412. Sep 2014
Conference number: 11

Workshop

Workshop11th International Workshop on Web Services and Formal Methods
Number11
CountryNetherlands
CityEindhoven
Period11/09/201412/09/2014
SeriesLecture Notes in Computer Science
Volume9421
ISSN0302-9743

    Fingerprint

Cite this

Montesi, F. (2016). Kickstarting Choreographic Programming. In T. Hildebrandt, A. Ravara, J. M. van der Werf, & M. Weidlich (Eds.), Web Services, Formal Methods, and Behavioral Types: Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (pp. 3-10). Springer. Lecture Notes in Computer Science, Vol.. 9421 https://doi.org/10.1007/978-3-319-33612-1_1