On the Syntax and Semantics of Concurrent Computing.

Published in: Mathematical Foundations of Programming Semantics (1985)