Skip to main content

A Theory of Conjunction and Concurrency

C. A. R. Hoare

Book Title
PARBASE / Architectures
Pages
18−30
Year
1990