Introduction to Choreographies

Choreographies are formal descriptions of overall behavior that processes should collaborate to implement, bringing clarity and contributing to safety and liveness properties. This book is an ideal introduction to the theory of choreographies for students, researchers, and professionals.

Format: Hardback
Length: 253 pages
Publication date: 25 May 2023
Publisher: Cambridge University Press

In the realm of concurrent and distributed systems, processes come together to accomplish tasks through a collaborative effort. This collaborative endeavor is orchestrated by a plan, often referred to as a protocol, which serves as a formal description of the overall behavior that processes should strive to achieve. This plan, akin to a choreography, outlines the precise steps and interactions required for processes to work harmoniously, such as authenticating a user or making an online purchase. The formal nature of a choreography brings with it a sense of clarity, but its significance extends far beyond mere clarity. Choreographies can play a crucial role in ensuring important safety and liveness properties in these systems.

This book serves as an excellent introduction to the theory of choreographies for students, researchers, and professionals in the fields of computer science and applied mathematics. It delves into the various languages used for writing choreographies and their underlying semantics, providing a solid foundation for understanding the intricacies of choreographing systems. Moreover, the book emphasizes the principles for implementing choreographies correctly, ensuring their reliability and robustness.

The text treats the study of choreographies as a discipline in its own right, following a systematic approach that begins with simple foundations and gradually builds upon more advanced features in incremental steps. Each chapter includes practical examples and exercises designed to enhance the reader's understanding of the theory and its practical applications. By engaging with these examples and exercises, readers can gain a deep appreciation for the power and versatility of choreographies in enabling complex systems to operate seamlessly and efficiently.

In conclusion, this book offers a comprehensive and accessible guide to the theory of choreographies, making it an invaluable resource for anyone interested in developing and implementing efficient and reliable systems in the realm of concurrent and distributed computing. Whether you are a student, researcher, or professional seeking to expand your knowledge in this field, this book will provide you with the necessary tools and insights to succeed.

Weight: 646g
Dimension: 186 x 264 x 22 (mm)
ISBN-13: 9781108833769