Text this: Logics for concurrency