Comment Comment by callbacker Thanks! The spec can be found here: https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus parent callbacker 3 years ago