68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 400422
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 11841