search

dmilstein / channels

TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
MIT License
7 stars 1 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated