Docs about execution model