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

12 months ago  

alloy  12 months ago  
doc  12 months ago  
.gitignore  12 months ago  
LICENSE  12 months ago  
README.md  12 months 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 accumulatorstyle 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 datatypes.
Table of Contents
doc
 Blogposts & writeups in Markdown formatalloy
 GCDT models & theorems for the Alloy model checker
License
This work by Garrett Mills is licensed under CC BYNCSA 4.0