LL parser
Characteristic function
Models of computation
Software engineering
Petri nets
Analysis
Concurrency
Computer programming