Multiparty classical choreographies

DOI10.1007/978-3-030-13838-7_4zbMath1524.68079arXiv1808.05088OpenAlexW2886908675MaRDI QIDQ6085975

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

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A predicate transformer for choreographies. Computing preconditions in choreographic programming

This page was built for publication: Multiparty classical choreographies