{"product_id":"introduction-to-choreographies-9781108833769","title":"Introduction to Choreographies","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eChoreographies 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. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 253 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 25 May 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Cambridge University Press\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eIn 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.\u003cbr\u003e\u003cbr\u003eThis 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.\u003cbr\u003e\u003cbr\u003eThe 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.\u003cbr\u003e\u003cbr\u003eIn 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 646g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 186 x 264 x 22 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9781108833769\u003c\/p\u003e","brand":"FabrizioMontesi","offers":[{"title":"Hardback","offer_id":44256295420154,"sku":"9781108833769","price":47.59,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1685097076052_book.jpg?v=1685194460","url":"https:\/\/shulphink.com\/products\/introduction-to-choreographies-9781108833769","provider":"Shulph Ink","version":"1.0","type":"link"}