Modelling Distributed Event-Based Systems Using the kell-m Calculus