Theoretical computer science
Formal methods
Logic in computer science
Bisimulation
Applied mathematics
Mathematics
Scheduling
Transition system
-calculus