1. 17
  1.  

  2. 2

    Pretty good content. I need to understand if this is useful for functional, business domain programming too, not only for low level things like implementing a queue.

    1. 1

      It’s generally even what TLA+ is built for.