Download Logics And Models Of Concurrent Systems