68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 406914
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85] 6472
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 11974