Models of computation
Philosophy
Logic
Computing
Computer architecture
Kahn process networks
CMS EXEC
Typetoken distinction
Stream processing