Example image of eyePlorer eyePlorer map for 'State transition system': Abstract machine Computation Theoretical computer science State (computer science) Singleton (mathematics) Abstract rewriting system Finite-state machine Directed graph Binary relation Ternary relation Biba Model Bisimulation Partial order reduction Probabilistic bisimulation Simulation preorder Hennessy-Milner logic Mu calculus Bell-La Padula model Formal verification Averest Calculus of communicating systems F-coalgebra Deterministic finite-state machine Business Process Execution Language Operational semantics YAWL Simulation LTS STS Computation tree logic Programming in the large and programming in the small Model-based testing Frame problem Pi-calculus Monoid Communicating sequential processes