Introduction to Choreographies

by Fabrizio Montesi

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...

• Format: Hardcover
• Language: English
• ISBN: 1108833764
• ISBN13: 9781108833769
• Release Date: May 2023
• Publisher: Cambridge University Press
• Length: 253 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.6" x 7.0" x 10.0"