||12 months ago|
|alloy||12 months ago|
|doc||12 months ago|
|.gitignore||12 months ago|
|LICENSE||12 months ago|
|README.md||12 months ago|
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 format
alloy- GCDT models & theorems for the Alloy model checker