Introduction to Choreographies

Introduction to Choreographies
Author :
Publisher : Cambridge University Press
Total Pages : 246
Release :
ISBN-10 : 9781108992152
ISBN-13 : 1108992153
Rating : 4/5 (153 Downloads)

Book Synopsis Introduction to Choreographies by : Fabrizio Montesi

Download or read book Introduction to Choreographies written by Fabrizio Montesi and published by Cambridge University Press. This book was released on 2023-04-30 with total page 246 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Introduction to Choreographies Related Books

Introduction to Choreographies
Language: en
Pages: 246
Authors: Fabrizio Montesi
Categories: Computers
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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
Expanded Choreographies - Choreographic Histories
Language: en
Pages: 426
Authors: Anna Leon
Categories: Performing Arts
Type: BOOK - Published: 2022-07-31 - Publisher: transcript Verlag

DOWNLOAD EBOOK

From objects to sounds, choreography is expanding beyond dance and human bodies in motion. This book offers one of the rare systematic investigations of expande
Introduction to Dance Choreography
Language: en
Pages: 112
Authors: Chris Ugolo
Categories: Choreography
Type: BOOK - Published: 1998 - Publisher: New Era Publications International APS

DOWNLOAD EBOOK

A Primer for Choreographers
Language: en
Pages: 121
Authors: Lois Ellfeldt
Categories: Choreography
Type: BOOK - Published: 1967 - Publisher:

DOWNLOAD EBOOK

Choreographies of 21st Century Wars
Language: en
Pages: 352
Authors: Gay Morris
Categories: Performing Arts
Type: BOOK - Published: 2016-02-05 - Publisher: Oxford University Press

DOWNLOAD EBOOK

Wars in this century are radically different from the major conflicts of the 20th century--more amorphous, asymmetrical, globally connected, and unending. Chore