Certifying Choreography Compilation

Choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from a global viewpoint, the computations and interactions that communicating processes should enact. Choreography compilation translates choreographies into the...

Full description

Saved in:
Bibliographic Details
Published inTheoretical Aspects of Computing - ICTAC 2021 Vol. 12819; pp. 115 - 133
Main Authors Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Choreographic programming
Compilation
Formalisation
Online AccessGet full text
ISBN3030853144
9783030853143
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-85315-0_8

Cover