2 ms·It's very easy to specify such systems in TLA+. I think this becomes apparent as you learn it.by pron 8y agoIt's very easy to specify such systems in TLA+. I think this becomes apparent as you learn it.