Observed Communication Semantics for Classical Processes.

Robert Atkey

Browse the full ESOP paper archive.