Multiparty Classical Choreographies

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

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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.

OriginalsprogEngelsk
TitelLogic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018
RedaktørerPeter J. Stuckey, Fred Mesnard
ForlagSpringer VS
Publikationsdato1. jan. 2019
Sider59-76
ISBN (Trykt)9783030138370
DOI
StatusUdgivet - 1. jan. 2019
Begivenhed28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018 - Frankfurt, Tyskland
Varighed: 4. sep. 20186. sep. 2018

Konference

Konference28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018
Land/OmrådeTyskland
ByFrankfurt
Periode04/09/201806/09/2018
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind11408 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Multiparty Classical Choreographies'. Sammen danner de et unikt fingeraftryk.

Citationsformater