Book contents
- Frontmatter
- Contents
- List of Illustrations
- List of Notations
- Introduction: Alice, Bob, Concurrency, and Distribution
- This Book
- Part I Foundations
- Part II Computation
- Part III Extensions and Variations
- 9 Conservative Extensions
- 10 Choreographic Choice
- 11 Asynchronous Communication
- 12 Discussion and Further Reading
- Solutions to Selected Exercises
- References
- Index
9 - Conservative Extensions
from Part III - Extensions and Variations
Published online by Cambridge University Press: 11 May 2023
- Frontmatter
- Contents
- List of Illustrations
- List of Notations
- Introduction: Alice, Bob, Concurrency, and Distribution
- This Book
- Part I Foundations
- Part II Computation
- Part III Extensions and Variations
- 9 Conservative Extensions
- 10 Choreographic Choice
- 11 Asynchronous Communication
- 12 Discussion and Further Reading
- Solutions to Selected Exercises
- References
- Index
Summary
We explore conservative extensions to Recursive Choreographies, which aim at making choreographies easier to read or to write. These extensions are given as syntactic sugar and include constructs for request-reply interactions, message destructuring, and distributed conditions.
Keywords
- Type
- Chapter
- Information
- Introduction to Choreographies , pp. 179 - 183Publisher: Cambridge University PressPrint publication year: 2023