Composing TLA+ Specifications with State Machines

7 points | by Jimmc414 11 hours ago