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
11 - Asynchronous Communication
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
Communication in the languages presented so far is synchronous: a sending action blocks the sender until it can interact with a compatible receiving action at the intended receiver. In this chapter, we consider an alternative semantics for interactions: asynchronous communication. Asynchronous communication allows for a sending action to be executed without waiting for the receiver to be ready by storing the sent message in a message queue that the intended receiver can later read.
Keywords
- Type
- Chapter
- Information
- Introduction to Choreographies , pp. 191 - 200Publisher: Cambridge University PressPrint publication year: 2023