Two−Categorical Models of Parallelism - Hoare, C (1995)