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

4 months ago  

alloy  4 months ago  
doc  4 months ago  
.gitignore  4 months ago  
LICENSE  4 months ago  
README.md  4 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