Read Introduction to Choreographies

Introduction to Choreographies

Fabrizio Montesi

4.9/5 (13253 ratings)

Description: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 and 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Introduction to Choreographies. To get started finding Introduction to Choreographies, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 246

Format: PDF, EPUB & Kindle Edition

Publisher: Cambridge University Press

Release: 2023

ISBN: 9781108833769

Description: 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 and 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Introduction to Choreographies. To get started finding Introduction to Choreographies, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Introduction to Choreographies

Introduction to Choreographies

More Books

Introduction to Dance Choreography

Introduction to Dance Choreography

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Service-Oriented Computing

Service-Oriented Computing

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022

Coordination Models and Languages

Coordination Models and Languages

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Introduction to Modern Dance Techniques

Introduction to Modern Dance Techniques