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
Choreographies of 21st Century Wars
Language: en
Pages: 385
Authors: Gay Morris
Categories: History
Type: BOOK - Published: 2016 - 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
Heat and Alterity in Contemporary Dance
Language: en
Pages: 305
Authors: Ananya Chatterjea
Categories: Performing Arts
Type: BOOK - Published: 2020-10-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book argues that contemporary dance, imagined to have a global belonging, is vitiated by euro-white constructions of risk and currency that remain at its c
Shapeshifters
Language: en
Pages: 284
Authors: Aimee Meredith Cox
Categories: Social Science
Type: BOOK - Published: 2015-08-07 - Publisher: Duke University Press

DOWNLOAD EBOOK

In Shapeshifters Aimee Meredith Cox explores how young Black women in a Detroit homeless shelter contest stereotypes, critique their status as partial citizens,