A Formalism for Distributed Systems with an Accurate Graphical Representation