WAugmented marked graph
WBehavior tree (artificial intelligence, robotics and control)
WBilliard-ball computer
WCounter automaton
WDNA computing
WKahn process networks
WKrivine machine
WLattice model (finance)
WMembrane computing
WNested stack automaton
WParallel external memory
WPetri net
WPushdown automaton
WReo Coordination Language
WSilq
WState diagram
WState space
WTuring machine
WTurmite
WVector addition system