A Formal Theory of Choreographic Programming in Coq

Luís Cruz-Filipe (Ophavsmand)
Fabrizio Montesi (Ophavsmand)
Marco Peressotti (Ophavsmand)

Datasæt

Beskrivelse

A formalisation in Coq of: a choreographic programming language (CC.v) a calculus of stateful processes (SP.v) a certified compiler for the choreographic language to the process calculus (EPP.v, EPPTheorem.v) Coq version: 8.13.2

Dato for tilgængelighed	5. sep. 2022
Forlag	Zenodo

DOI
10.5281/zenodo.7773479

Adgang til datasæt

open

1 Konferencebidrag i proceedings

Certifying Choreography Compilation
Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (red.). Springer Science+Business Media, s. 115-133 (Lecture Notes in Computer Science, Bind 12819 LNCS).
Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Citationsformater