An axiomatic semantics for nested concurrency

DOI10.1007/BF01933742zbMath0594.68026MaRDI QIDQ1077155

Sigurd Meldal

Publication date: 1986

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

axiomatic semanticsmodular verificationtransformation rulesconcurrent CSP programsHoare's language CSPnested concurrencyprocess composition

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

An axiomatic semantics for nested concurrency ⋮ Partial correctness of exits from concurrent structures ⋮ A complete axiomatic semantics of spawning

Uses Software

• Ada95

Cites Work

• Unnamed Item
• An axiomatic semantics for nested concurrency
• A proof technique for communicating sequential processes
• A Proof System for Communicating Sequential Processes
• Soundness and Completeness of an Axiom System for Program Verification
• Communicating sequential processes

This page was built for publication: An axiomatic semantics for nested concurrency