Logics and Models of Concurrent Systems