Kickstarting Choreographic Programming

Fabrizio Montesi

doi:10.1007/978-3-319-33612-1_1

Kickstarting Choreographic Programming

Fabrizio Montesi

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	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
Editors	Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Publisher	Springer
Publication date	2016
Pages	3-10
ISBN (Print)	978-3-319-33611-4
ISBN (Electronic)	978-3-319-33612-1
DOIs	https://doi.org/10.1007/978-3-319-33612-1_1
Publication status	Published - 2016
Event	11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing - Eindhoven, Netherlands Duration: 11. Sept 2014 → 12. Sept 2014 Conference number: 11

Workshop

Workshop	11th International Workshop on Web Services and Formal Methods
Number	11
Country/Territory	Netherlands
City	Eindhoven
Period	11/09/2014 → 12/09/2014

Series	Lecture Notes in Computer Science
Volume	9421
ISSN	0302-9743

Documents & Links

10.1007/978-3-319-33612-1_1

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. https://doi.org/10.1007/978-3-319-33612-1_1

Montesi, Fabrizio. / Kickstarting Choreographic Programming. 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. editor / Thomas Hildebrandt ; António Ravara ; Jan Martijn van der Werf ; Matthias Weidlich. Springer, 2016. pp. 3-10 (Lecture Notes in Computer Science, Vol. 9421).

@inproceedings{140e762d7e3f4574ace509801a50decb,

title = "Kickstarting Choreographic Programming",

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.",

author = "Fabrizio Montesi",

year = "2016",

doi = "10.1007/978-3-319-33612-1_1",

language = "English",

isbn = "978-3-319-33611-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--10",

editor = "Thomas Hildebrandt and Ant{\'o}nio Ravara and {van der Werf}, {Jan Martijn} and Matthias Weidlich",

booktitle = "Web Services, Formal Methods, and Behavioral Types",

address = "Germany",

note = "11th International Workshop on Web Services and Formal Methods ; Conference date: 11-09-2014 Through 12-09-2014",

}

Montesi, F 2016, Kickstarting Choreographic Programming. in T Hildebrandt, A Ravara, JM 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. Springer, Lecture Notes in Computer Science, vol. 9421, pp. 3-10, 11th International Workshop on Web Services and Formal Methods, Eindhoven, Netherlands, 11/09/2014. https://doi.org/10.1007/978-3-319-33612-1_1

Kickstarting Choreographic Programming. / Montesi, Fabrizio.
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. ed. / Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich. Springer, 2016. p. 3-10 (Lecture Notes in Computer Science, Vol. 9421).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Kickstarting Choreographic Programming

AU - Montesi, Fabrizio

N1 - Conference code: 11

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-33612-1_1

DO - 10.1007/978-3-319-33612-1_1

M3 - Article in proceedings

SN - 978-3-319-33611-4

T3 - Lecture Notes in Computer Science

SP - 3

EP - 10

BT - Web Services, Formal Methods, and Behavioral Types

A2 - Hildebrandt, Thomas

A2 - Ravara, António

A2 - van der Werf, Jan Martijn

A2 - Weidlich, Matthias

PB - Springer

T2 - 11th International Workshop on Web Services and Formal Methods

Y2 - 11 September 2014 through 12 September 2014

ER -

Montesi F. Kickstarting Choreographic Programming. In Hildebrandt T, Ravara A, van der Werf JM, Weidlich M, editors, 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. Springer. 2016. p. 3-10. (Lecture Notes in Computer Science, Vol. 9421). doi: 10.1007/978-3-319-33612-1_1

Kickstarting Choreographic Programming

Abstract

Workshop

Documents & Links

Fingerprint

Cite this