Fabrizio Montesi (University of Southern Denmark)

Introduction to Choreographies

• Gebundenes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 253
• Erscheinungstermin: 25. Mai 2023
• Englisch
• Abmessung: 254mm x 178mm x 14mm
• Gewicht: 646g
• ISBN-13: 9781108833769
• ISBN-10: 1108833764
• Artikelnr.: 66995622

Autorenporträt

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.

Inhaltsangabe

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.