From infinity to choreographies. Extraction for unbounded systems

DOI10.1007/978-3-031-16767-6_6zbMath1522.68068arXiv2207.08884MaRDI QIDQ6103018

Bjørn Angel Kjær, Fabrizio Montesi, Luís Cruz-Filipe

Publication date: 2 June 2023

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

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

zbMATH Keywords

concurrencymessage passingchoreography

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

• Choreographies, logically
• A core model for choreographic programming
• From Communicating Machines to Graphical Choreographies
• Synthesising Choreographies from Local Session Types
• The Paths to Choreography Extraction
• Introduction to Bisimulation and Coinduction
• Multiparty Asynchronous Session Types
• Procedural Choreographic Programming
• πI: A symmetric calculus based on internal mobility

This page was built for publication: From infinity to choreographies. Extraction for unbounded systems