Text this: Logics and Models of Concurrent Systems /