Composing TLA+ Specifications with State Machines(hillelwayne.com)12 points·by Jimmc414·3 giorni fa·0 commentshillelwayne.comComposing TLA+ Specifications with State Machineshttps://www.hillelwayne.com/post/composing-tla/0 commentsPost comment—