A rigorous language for discussing the issue of configuration management is currently lacking. To this end, we develop a simple state-machine model of configuration management. Observed behaviors comprise the state of a host and configuration processes accomplish state transitions. Using this language, we show that for one host in isolation and for some configuration processes, reproducibility ...
