scientific article; zbMATH DE number 3415379
From MaRDI portal
Publication:5679697
zbMath0263.68016MaRDI QIDQ5679697
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
On the detection of unstructuredness in flowgraphs ⋮ Unnamed Item ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Formalization of properties of nondeterministic recursive definitions ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Wait-free linearization with a mechanical proof ⋮ Analysis of structured programs ⋮ Proving assertions about parallel programs ⋮ An axiomatic proof technique for parallel programs ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ Functional behavior in data spaces ⋮ Mathematical theory of partial correctness ⋮ A generalized nexttime operator in temporal logic ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication: