Multiparty Classical Choreographies

Marco Carbone*, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska

*Corresponding author for this work

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

Abstract

We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typing is achieved by generalising classical linear logic to judgements that explicitly record parallelism by means of hypersequents. Our approach unifies different lines of work on choreographies and processes with multiparty sessions, as well as their connection to linear logic. Thus, results developed in one context are carried over to the others. Key novelties of MCC include support for server invocation in choreographies, as well as logic-driven compilation of choreographies with replicated processes.

Original languageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018
EditorsPeter J. Stuckey, Fred Mesnard
PublisherSpringer VS
Publication date1. Jan 2019
Pages59-76
ISBN (Print)9783030138370
DOIs
Publication statusPublished - 1. Jan 2019
Event28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018 - Frankfurt, Germany
Duration: 4. Sep 20186. Sep 2018

Conference

Conference28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018
CountryGermany
CityFrankfurt
Period04/09/201806/09/2018
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11408 LNCS
ISSN0302-9743

    Fingerprint

Cite this

Carbone, M., Cruz-Filipe, L., Montesi, F., & Murawska, A. (2019). Multiparty Classical Choreographies. In P. J. Stuckey, & F. Mesnard (Eds.), Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018 (pp. 59-76). Springer VS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 11408 LNCS https://doi.org/10.1007/978-3-030-13838-7_4