Book contents
- Frontmatter
- Contents
- List of Illustrations
- List of Notations
- Introduction: Alice, Bob, Concurrency, and Distribution
- This Book
- Part I Foundations
- 1 Inference Systems
- 2 Simple Choreographies
- 3 Simple Processes
- 4 Endpoint Projection
- Part II Computation
- Part III Extensions and Variations
- Solutions to Selected Exercises
- References
- Index
2 - Simple Choreographies
from Part I - Foundations
Published online by Cambridge University Press: 11 May 2023
Book contents
- Frontmatter
- Contents
- List of Illustrations
- List of Notations
- Introduction: Alice, Bob, Concurrency, and Distribution
- This Book
- Part I Foundations
- 1 Inference Systems
- 2 Simple Choreographies
- 3 Simple Processes
- 4 Endpoint Projection
- Part II Computation
- Part III Extensions and Variations
- Solutions to Selected Exercises
- References
- Index
Summary
We introduce our first choreography language, Simple Choreographies, which allows for writing sequences of interactions between processes. The key aspect of the language is that interactions are syntactically manifest in choreographies. A semantics of choreographies is obtained in terms of a labelled transition system.
- Type
- Chapter
- Information
- Introduction to Choreographies , pp. 39 - 54Publisher: Cambridge University PressPrint publication year: 2023