Title: Logics and Models of Concurrent Systems