Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.

Stephen D. Brookes

Browse the full CONCUR paper archive.