2 points by teymour
Also known as sans-io; also, the async "function color" is itself essentially an indicator of non-determinism (well, maybe except for cooperative multitasking)