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: about 2 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 (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2023-05-08T10:44:46.000Z (over 1 year ago)
• Last Synced: 2024-03-15T21:59:35.563Z (10 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

Awesome Lists containing this project