Text this: Ten years of concurrency semantics :