A Formal Model for the Parallel Semantics of P3L - Cavarra, A; Riccobene, E; Zavanella, A (2000)