This[^1] Barbara Liskov's paper gives me an impression the distributed systems people would be glad if they didn't have to bother with all the theory :) --- [

This[^1] Barbara Liskov's paper gives me an impression the distributed systems people would be glad if they didn't have to bother with all the theory :) --- [^1]: https://dl.acm.org/doi/pdf/10.1145/112600.112601 https://dl.acm.org/doi/pdf/10.1145/112600.112601