Introduction to Choreographies

Sommario

Introduction: Alice, Bob, concurrency, and distribution; This book; Part I. Foundations: Introduction to Part I; 1. Inference systems; 2. Simple choreographies; 3. Simple processes; 4. Endpoint projection; Part II. Computation: Introduction to Part II; 5. Memory and local computation; 6. Conditionals and knowledge of choice; 7. Recursion; 8. Properties of choreographies and endpoint projection; Part III. Extensions and Variations: Introduction to Part III; 9. Conservative extensions; 10. Choreographic choice; 11. Asynchronous communication; 12. Discussion and further reading; Solutions to selected exercises; Bibliography; Index.

Info autore

Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark. He is a Villum Young Investigator and recipient of several awards for science and innovation, including the EAPLS Best PhD Dissertation Award and the Best Thesis in ICT Award from the General Confederation of Italian Industry.

Riassunto

This is the first rigorous and systematic treatment of choreographies, an increasingly central topic in the development of computer systems based on communication. With numerous examples and exercises throughout, this is an ideal introductory text for students, researchers, and professionals in computer science and applied mathematics.

Prefazione

The first rigorous and systematic treatment of choreographies: formal coordination plans for concurrent and distributed systems.

Dettagli sul prodotto

• Autori: Fabrizio Montesi, Fabrizio (University of Southern Denmark) Montesi
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 30.04.2023
• EAN: 9781108833769
• ISBN: 978-1-108-83376-9
• Pagine: 253
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione; Scienze sociali, diritto, economia > Media, comunicazione > Scienze della comunicazione; Software Engineering, COMPUTERS / Computer Science, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, computer science, Information theory