Title: Modelling computer processes