Introduction to Choreographies

Table des matières

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.

A propos de l'auteur

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.

Résumé

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.

Préface

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

Détails du produit

• Auteurs: Fabrizio Montesi, Fabrizio (University of Southern Denmark) Montesi
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 30.04.2023
• EAN: 9781108833769
• ISBN: 978-1-108-83376-9
• Pages: 253
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Langages de programmation; Sciences sociales, droit, économie > Médias, communication > Sciences de la communication; Software Engineering, COMPUTERS / Computer Science, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, computer science, Information theory