abstraction; abstract machine; Actors; canonicity; closure; embedding; Finite State Machine; join; linear type; model checking; non-deterministic automaton; relational algebra; state; syntax tree; transparent; type;