6.2 Models and Communication in Distributed Systems