I'm not the only one it seems https://lobste.rs/s/8rfign/modeling_message_queues_tla https://lobste.rs/s/8rfign/modeling_message_queues_tla That said, I bought

I'm not the only one it seems https://lobste.rs/s/8rfign/modeling_message_queues_tla https://lobste.rs/s/8rfign/modeling_message_queues_tla That said, I bought Hillel's book and will come back and try again with TLA+