You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Garrett Mills
85a315ee5a
|
2 years ago | |
---|---|---|
alloy | 2 years ago | |
doc | 2 years ago | |
.gitignore | 2 years ago | |
LICENSE | 2 years ago | |
README.md | 2 years ago |
README.md
garrettmills/gcdt
Musings on Generalized Commutative Data Types
A “commutative data type” is one whose value is modified by a set of operations whose execution order is irrelevant. Such data types are useful in distributed & parallel systems which employ accumulator-style execution (i.e. many jobs perform a calculation then merge their result into a single, shared value).
This repo contains my writings and miscellaneous models for these data-types.
Table of Contents
doc
- Blog-posts & write-ups in Markdown formatalloy
- GCDT models & theorems for the Alloy model checker
License
This work by Garrett Mills is licensed under CC BY-NC-SA 4.0