scientific article; zbMATH DE number 3569793
From MaRDI portal
zbMath0365.68010MaRDI QIDQ4140351
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Revisiting concurrent separation logic, Recursive assertions and parallel programs, Arithmetical completeness in first-order dynamic logic for concurrent programs, Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols, A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs, Reasoning about Recursive Processes in Shared-Variable Concurrency, Fifty years of Hoare's logic, Recursive assertions are not enough - or are they?, A shared-variable concurrency analysis of multi-threaded object-oriented programs, Program invariants as fixedpoints, A proof system for disjoint parallel quantum programs, Current methods for proving program correctness, Proving partial order properties
