Kybernetika 19 no. 3, 248-262, 1983

Denotational semantics of parallel programming languages