Localized election models

Baddeley and James model of organizational politics was originally derived from their observations of local government managers. Many of these took the view that politics was the province of the elected councillors and that they, as employed officials, should confine their activities to the Impartial execution of policy determined by their political masters. 

We note that our formal models also abstracted away from communication time between system components, whether connected on a local or non-local network. We argued that such delays would be insignificant compared with the time taken for the elector to record a vote. Our election simulations validated the correctness of our abstraction — the speed of the internet coimection (provided the service was available) had no effect, for all architectures tested, on the quality-of-service offered to the voter. 

---