Partial correctness of exits from concurrent structures

DOI10.1007/BF01933709MaRDI QIDQ1080654zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3878340
• scientific article; zbMATH DE number 3963180
• scientific article; zbMATH DE number 3903944
• A proof system for concurrent ADA programs
• scientific article; zbMATH DE number 3907747

Cites work

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

Cited in

(3)

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

Describes a project that uses

Uses Software

• Ada95

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1080654)