Pages that link to "Item:Q1673658"

From MaRDI portal

← Mechanized proofs of opacity: a comparison of two techniques (Q1673658)

Jump to:navigation, search

The following pages link to Mechanized proofs of opacity: a comparison of two techniques (Q1673658):

Displayed 2 items.

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) ‎ (← links)
Checking opacity and durable opacity with FDR (Q6045053) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"