[myk9001]

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