https://github.com/liyang/thesis

Compiling Concurrency Correctly—Verifying Software Transactional Memory
https://github.com/liyang/thesis

agda concurrency formal-proofs proof proof-assistant software-transactional-memory thesis

Last synced: 2 months ago
JSON representation

Compiling Concurrency Correctly—Verifying Software Transactional Memory

• Host: GitHub
• URL: https://github.com/liyang/thesis
• Owner: liyang
• Created: 2017-08-21T03:58:41.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-08-21T04:52:44.000Z (over 8 years ago)
• Last Synced: 2023-03-22T22:36:45.212Z (about 3 years ago)
• Topics: agda, concurrency, formal-proofs, proof, proof-assistant, software-transactional-memory, thesis
• Language: TeX
• Size: 367 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Compiling Concurrency Correctly

## Verifying Software Transactional Memory

* [Nottingham eTheses](http://eprints.nottingham.ac.uk/13348/) —final published PDF

----



“Compiling Concurrency Correctly—Verifying Software Transactional Memory” by Liyang HU is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.