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
10 - Choreographic Choice
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 introduce choreographic choice, another construct for choosing between alternative choreographies. Differently from conditionals, choreographic choices are not necessarily resolved by a single process but might require performing interactions instead.
Keywords
- Type
- Chapter
- Information
- Introduction to Choreographies , pp. 184 - 190Publisher: Cambridge University PressPrint publication year: 2023