Notes concerning “Distributed systems”