A state-oriented, partial-order model and logic for distributed systems verification