Introduction to Choreographies by Fabrizio Montesi, Fabrizio Montesi on Iphone New Format
Introduction to Choreographies by Fabrizio Montesi, Fabrizio Montesi
- Introduction to Choreographies
- Fabrizio Montesi, Fabrizio Montesi
- Page: 253
- Format: pdf, ePub, mobi, fb2
- ISBN: 9781108833769
- Publisher: Cambridge University Press
Download eBook (Links to an external site.)
Free downloadable audiobooks for ipods Introduction to Choreographies in English FB2
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.
Other ebooks: PDF [DOWNLOAD] March to the Majority: The Real Story of the Republican Revolution by Newt Gingrich, Joe Gaylord, Newt Gingrich, Joe Gaylord on Iphone link (Links to an external site.), Online Read Ebook No Longer Human Complete Edition (manga) by Usamaru Furuya, Osamu Dazai, Usamaru Furuya, Osamu Dazai pdf (Links to an external site.), Read [pdf]> Written in Rust by Frankie Irving, Frankie Irving download pdf (Links to an external site.), Read [Pdf]> Good Inside: A Guide to Becoming the Parent You Want to Be by Becky Kennedy, Becky Kennedy link (Links to an external site.),