Kickstarting Choreographic Programming

Fabrizio Montesi

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

Kickstarting Choreographic Programming

Fabrizio Montesi

Institut for Matematik og Datalogi

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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.

Originalsprog	Engelsk
Titel	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
Redaktører	Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Forlag	Springer
Publikationsdato	2016
Sider	3-10
ISBN (Trykt)	978-3-319-33611-4
ISBN (Elektronisk)	978-3-319-33612-1
DOI	https://doi.org/10.1007/978-3-319-33612-1_1
Status	Udgivet - 2016
Begivenhed	11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing - Eindhoven, Holland Varighed: 11. sep. 2014 → 12. sep. 2014 Konferencens nummer: 11

Workshop

Workshop	11th International Workshop on Web Services and Formal Methods
Nummer	11
Land/Område	Holland
By	Eindhoven
Periode	11/09/2014 → 12/09/2014

Navn	Lecture Notes in Computer Science
Vol/bind	9421
ISSN	0302-9743

Dokumenter og links

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

Citationsformater

Montesi, F. (2016). Kickstarting Choreographic Programming. I T. Hildebrandt, A. Ravara, J. M. van der Werf, & M. Weidlich (red.), 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 (s. 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. red. / Thomas Hildebrandt ; António Ravara ; Jan Martijn van der Werf ; Matthias Weidlich. Springer, 2016. s. 3-10 (Lecture Notes in Computer Science, Bind 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. i T Hildebrandt, A Ravara, JM van der Werf & M Weidlich (red), 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, bind 9421, s. 3-10, 11th International Workshop on Web Services and Formal Methods, Eindhoven, Holland, 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. red. / Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich. Springer, 2016. s. 3-10 (Lecture Notes in Computer Science, Bind 9421).

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. I Hildebrandt T, Ravara A, van der Werf JM, Weidlich M, red., 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. s. 3-10. (Lecture Notes in Computer Science, Bind 9421). doi: 10.1007/978-3-319-33612-1_1

Kickstarting Choreographic Programming

Abstract

Workshop

Dokumenter og links

Fingeraftryk

Citationsformater