Partial correctness of exits from concurrent structures

DOI10.1007/BF01933709zbMath0599.68029OpenAlexW1990433925MaRDI QIDQ1080654

Sigurd Meldal

Publication date: 1986

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01933709

zbMATH Keywords

CSPcommunicating sequential processesdata flow systemparallel commandpre- and postconditions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Partial correctness of exits from concurrent structures ⋮ Axiomatic treatment of processes with shared variables revisited ⋮ A complete axiomatic semantics of spawning

Uses Software

• Unnamed Item

Cites Work

• An axiomatic semantics for nested concurrency
• Partial correctness of exits from concurrent structures
• Ada exception handling: an axiomatic approach
• Ten Years of Hoare's Logic: A Survey—Part I
• Soundness and Completeness of an Axiom System for Program Verification
• Communicating sequential processes

This page was built for publication: Partial correctness of exits from concurrent structures