Concurrency
Computer science
Observational equivalence
Equivalence (formal languages)
Programming language
Constraint (computer-aided design)
Semantics (computer science)
Theoretical computer science
Transition system
Bisimulation
Constraint programming
Operational semantics
Concurrent object-oriented programming
Equivalence relation
Mathematics
Programming paradigm
Discrete mathematics
Declarative programming
Mathematical optimization
Inductive programming
Geometry
Stochastic programming
