Agent Skills: abd

Attiya-Bar-Noy-Dolev atomic register emulation over message-passing. Load when designing quorum-based distributed storage, proving linearizability, or reasoning about fault-tolerant shared memory.

UncategorizedID: plurigrid/asi/abd

Author

plurigrid

https://github.com/plurigrid View all skills

Repository

plurigrid/asi

plurigridLicense: MIT

165

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/abd

Skill Files

Browse the full folder contents for abd.

Download Skill

Loading file tree…

Select a file to preview its contents.