Updating Counter interface to match concurrent requirements