Comment Comment by tmccrmck Outside of distributed systems what is it used for?I've only ever heard of it's use in the formalization of distributed systems. parent tmccrmck 9 years ago
I've only ever heard of it's use in the formalization of distributed systems.