Augmented marked graphW
Augmented marked graph
Behavior tree (artificial intelligence, robotics and control)W
Behavior tree (artificial intelligence, robotics and control)
Billiard-ball computerW
Billiard-ball computer
Counter automatonW
Counter automaton
DNA computingW
DNA computing
Kahn process networksW
Kahn process networks
Krivine machineW
Krivine machine
Lattice model (finance)W
Lattice model (finance)
Membrane computingW
Membrane computing
Nested stack automatonW
Nested stack automaton
Parallel external memoryW
Parallel external memory
Petri netW
Petri net
Pushdown automatonW
Pushdown automaton
Reo Coordination LanguageW
Reo Coordination Language
SilqW
Silq
State diagramW
State diagram
State spaceW
State space
Turing machineW
Turing machine
TurmiteW
Turmite
Vector addition systemW
Vector addition system