Abstract machines Computability Concurrency Interactive computation Probabilistic computation Quantum computation theory Streaming models Timed and hybrid models