Login / Signup

An Axiomatic Treatment of a Parallel Programming Language.

Stephen D. Brookes
Published in: Logic of Programs (1985)
Keyphrases