Tag
channels
- Apr 2, 2026 Rendezvous and Buffering in CSP-Style Channels How an unbuffered channel makes send and receive a single synchronisation event, what a buffer actually buys, and why a blocked channel turns into a deadlock instead of an error. programming languages
- Jun 7, 2025 Session Types and the Shape of a Channel Protocol How a channel type can encode the order and direction of every message, what duality means for the two ends, and where linear typing stops matching how processes actually behave. programming languages