Asynchronous channel: semantics of non blocking channels
oldest message is removed or the most recent one? Simulation: most recent one Executable code: oldest message
oldest message is removed or the most recent one? Simulation: most recent one Executable code: oldest message