A mailbox transfers a value or handle; ownership remains a contract.
Mailbox put/get operations provide atomic communication and optional capacity. Correctness still depends on producer count, consumer count, termination, type safety, and whether sent objects are copied or shared.
Open section →