Pages that link to "Item:Q5056374"

The following pages link to Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374):

Displaying 2 items.

• Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
• Mechanised operational reasoning for C11 programs with relaxed dependencies (Q6610382) (← links)