https://github.com/hengxin/vis-ar-formalization

Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
https://github.com/hengxin/vis-ar-formalization

alloy consistency-models distributed-transactions tlaplus vis-ar-framework

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/hengxin/vis-ar-formalization
• Owner: hengxin
• License: mit
• Created: 2021-03-31T01:11:17.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2023-05-08T10:44:46.000Z (over 2 years ago)
• Last Synced: 2025-02-25T05:27:39.578Z (8 months ago)
• Topics: alloy, consistency-models, distributed-transactions, tlaplus, vis-ar-framework
• Language: TeX
• Homepage:
• Size: 94.2 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# vis-ar-formalization

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

## [alloy](./alloy/)

## [tlaplus](./tlaplus/)