Email Record: Logics and Models of Concurrent Systems /