scientific article; zbMATH DE number 3415379
From MaRDI portal
Publication:5679697
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
- scientific article; zbMATH DE number 3567992 (Why is no real title available?)
- 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)
