PhD Course on Models of Distributed Systems