Recursive assertions and parallel programs

DOI10.1007/BF00289262zbMath0436.68009MaRDI QIDQ1140981

Krzysztof R. Apt

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

parallel programsrecursive assertions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (7)

On the programs-as-formulas interpretation of parallel programs in Peano arithmetic ⋮ Transition systems, metric spaces and ready sets in the semantics of uniform concurrency ⋮ Designing equivalent semantic models for process creation ⋮ A generalization of Owicki-Gries's Hoare logic for a concurrent while language ⋮ The Rely-Guarantee method for verifying shared variable concurrent programs ⋮ Towards a foundation for semantics in complete metric spaces ⋮ Proving partial order properties

Cites Work

• Recursive assertions are not enough - or are they?
• Soundness and Completeness of an Axiom System for Program Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive assertions and parallel programs