Computing
SCXML
Models of computation
Call Control eXtensible Markup Language
State diagram
Formal methods
Auguste Rodin
B-Method
Finite-state machine
Rodin
Linz