Skip to content

On the Axiomatic Treatment of Concurrency.

Stephen D. Brookes

VenueBCONCUR
Year1984
ProceedingsSeminar on Concurrency

Browse the full CONCUR paper archive.