Text this: Concurrent systems:semantics, specification, and synthesis