Read news on sequence diagrams with our app.
Read more in the app
Tlsd: Generate (message) sequence diagrams from TLA+ state traces