Computational Structures for Modelling Space, Time and Causality