Abstractions for state management