Pages that link to "Item:Q1215264"
From MaRDI portal
The following pages link to Proving assertions about parallel programs (Q1215264):
Displaying 16 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Maintaining the Ranch topology (Q666250) (← links)
- The ''Hoare logic'' of concurrent programs (Q754637) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- A language independent proof of the soundness and completeness of generalized Hoare logic (Q1122978) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Functional behavior in data spaces (Q1244988) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Concurrent maintenance of rings (Q1954197) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
