The ACM Computing Classification System (1991) F.1.2 Modes of Computation Alternation and nondetermination Interactive computation Parallelism and concurrency Probabilistic computation Relations among modes Relativized computation
