Introduction to Choreographies (Hardcover)

In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that: choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies, their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	April 2023
Authors:	Fabrizio Montesi
Format:	Hardcover - Cloth over boards
Pages:	253
ISBN-13:	978-1-108-83376-9
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Reference & Interdisciplinary > Communication studies > Information theory > General Promotions
LSN:	1-108-83376-4
Barcode:	9781108833769

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!