Introduction to Choreographies. Fabrizio Montesi, Fabrizio Montesi

Introduction-to.pdf
ISBN: 9781108833769 | 253 pages | 7 Mb

Introduction to Choreographies
Fabrizio Montesi, Fabrizio Montesi
Page: 253
Format: pdf, ePub, fb2, mobi
ISBN: 9781108833769
Publisher: Cambridge University Press

Download Introduction to Choreographies

Ebook english download free Introduction to Choreographies FB2 by Fabrizio Montesi, Fabrizio Montesi 9781108833769 (English literature)

Overview

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.

More eBooks:
Descargar [PDF] {EPUB} REHABILITACIÓN MULTIMODAL EN CIRUGÍA
Read [pdf]> The Beautiful by Renée Ahdieh
[Descargar pdf] EL INDIVIDUO SOBERANO
Descargar ebook CONTENEMOS MULTITUDES | Descarga Libros Gratis (PDF - EPUB)
[Pdf/ePub] La Horde du contrevent Tome 2 by Eric Henninot download ebook
{epub download} Miles Morales Tome 4
[Descargar pdf] CULPA TUYA (CULPA MIA 2)
Read online: The Secret of Bow Lane by Jennifer Ashley
[PDF/Kindle] 365 messages de la roue de médecine chamanique - Un chemin initiatique au fil des saisons by Sophie Del Val
[Pdf/ePub] Things to Look Forward To by Sophie Blackall download ebook