scientific article; zbMATH DE number 7699432

DOI10.4230/lipics.itp.2021.15arXiv2102.02627MaRDI QIDQ6099602

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Publication date: 20 June 2023

Full work available at URL: https://arxiv.org/abs/2102.02627

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing completenessformalisationchoreographic programming

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (5)

Certifying choreography compilation ⋮ Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Functional choreographic programming ⋮ A formal theory of choreographic programming ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming

This page was built for publication: