4011 shaares
74 private links
74 private links
Interesting reasoning about what is hard in systems with concurrency. It's definitely about the state space of the system and the structure of that space.
Interesting reasoning about what is hard in systems with concurrency. It's definitely about the state space of the system and the structure of that space.
