Modeling language
Distributed computing
Mathematics
Computer science
Abstraction
Graph rewriting
Scientific modeling
Concurrency