An axiomatic semantics for nested concurrency
From MaRDI portal
Publication:1077155
DOI10.1007/BF01933742zbMath0594.68026MaRDI QIDQ1077155
Publication date: 1986
Published in: BIT (Search for Journal in Brave)
axiomatic semanticsmodular verificationtransformation rulesconcurrent CSP programsHoare's language CSPnested concurrencyprocess composition
Related Items
An axiomatic semantics for nested concurrency, Partial correctness of exits from concurrent structures, A complete axiomatic semantics of spawning
Uses Software
Cites Work