State machines and processes