scientific article
From MaRDI portal
Publication:3725529
zbMath0594.68019MaRDI QIDQ3725529
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
specificationcorrectness proofsCompositionalityproof systems for sequential and concurrent programssyntactic subprograms
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
A generalization of Owicki-Gries's Hoare logic for a concurrent while language ⋮ A compositional protocol verification using relativized bisimulation
