scientific article; zbMATH DE number 3415379
From MaRDI portal
Publication:5679697
zbMATH Open0263.68016MaRDI QIDQ5679697FDOQ5679697
Publication date: 1971
Title of this publication is not available (Why is that?)
Cited In (16)
- Wait-free linearization with a mechanical proof
- Functional behavior in data spaces
- On the detection of unstructuredness in flowgraphs
- Balancing expressiveness in formal approaches to concurrency
- Formalization of properties of nondeterministic recursive definitions
- An axiomatic proof technique for parallel programs
- Analysis of structured programs
- Mathematical theory of partial correctness
- Title not available (Why is that?)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
- Proving assertions about parallel programs
- Correctness of parallel programs: The Church-Rosser approach
- A generalized nexttime operator in temporal logic
- Specifying and reasoning about shared-variable concurrency
- Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5679697)
