Composing TLA+ Specifications with State Machines

(hillelwayne.com)

7 points | by Jimmc414 11 hours ago ago

No comments yet.