Modelling Distributed Systems by Fokkink