Discrete Event Systems, disjunctive domains, mean-payoff games, policy iteration, static analysis, tropical algebra.
