Composing TLA+ Specifications with State Machines

 (hillelwayne.com)

7 points | by Jimmc414  11 hours ago

No comments yet.