Text this: Mathematical Models for the Semantics of Parallelism :