Publications

BibTex format

@inproceedings{Gheri:2022:10.4230/DARTS.8.2.21,
author = {Gheri, L and Lanese, I and Sayers, N and Tuosto, E and Yoshida, N},
doi = {10.4230/DARTS.8.2.21},
pages = {1--5},
publisher = {Schloss Dagstuhl, Leibniz-Zentrum},
title = {Design-by-contract for flexible multiparty session protocols (Artifact)},
url = {http://dx.doi.org/10.4230/DARTS.8.2.21},
year = {2022}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We introduce CAScr, the first implementationof Scribble (http://www.scribble.org, https://nuscr.dev/) that relies on choreography automata,for deadlock-free distributed programming. CAScrsupports the main theoretical results and construc-tions in the related article. CAScr takes the populartop-down approach to system development, basedon choreographic models, following the originalmethodology of Scribble and multiparty sessiontypes. The top-down approach enables correctness-by-construction: a developer provides a global de-scription for the whole communication protocol;by projecting the global protocol, APIs are gen-erated from local CFSMs, which ensure the safeimplementation of each participant. The theoryof choreography automata in the related articleguarantees deadlock freedom for the distributedimplementation of flexible global protocols. Wetarget web development, supporting in particularthe TypeScript programming language.
AU  - Gheri,L
AU  - Lanese,I
AU  - Sayers,N
AU  - Tuosto,E
AU  - Yoshida,N
DO  - 10.4230/DARTS.8.2.21
EP  - 5
PB  - Schloss Dagstuhl, Leibniz-Zentrum
PY  - 2022///
SN  - 2509-8195
SP  - 1
TI  - Design-by-contract for flexible multiparty session protocols (Artifact)
UR  - http://dx.doi.org/10.4230/DARTS.8.2.21
UR  - https://drops.dagstuhl.de/opus/volltexte/2022/16219/
UR  - http://hdl.handle.net/10044/1/97308
ER  -

Download

ProfessorNobukoYoshida

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)