asynchronous wait_for_notify
spec: wait_for_notify