Projects in Awesome Lists tagged with vis-ar-framework
A curated list of projects in awesome lists tagged with vis-ar-framework .
https://github.com/hengxin/vis-ar-formalization
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
alloy consistency-models distributed-transactions tlaplus vis-ar-framework
Last synced: 19 Mar 2026
