A model where each operation appears atomic between invocation and response and respects real-time order.