Results for: Asynchronous Counter Example