hengxin/vis-ar-formalization

Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models

Language: TeX - Size: 94.2 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0