Pages that link to "Item:Q5041113"

The following pages link to Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113):

Displaying 4 items.

• Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
• Operational semantics with semicommutations (Q2043812) (← links)
• The decidability of verification under PS 2.0 (Q2233444) (← links)
• Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)