#

transactional-memory

Here is 1 public repository matching this topic...

lematt1991 / ICFP15-Coq-Proofs

Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

coq transactional-memory proof theorem-proving stm software-transactional-memory

Updated May 26, 2016
Coq

Improve this page

Add a description, image, and links to the transactional-memory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the transactional-memory topic, visit your repo's landing page and select "manage topics."