Global states of distributed systems : classification and applications