Yan,
I modified CAS-php files provided by vendor.
1. After ST is validated, app session id is written to redis with ST as key.
2. On logout, ST is used to get session id from redis (any host can do this).
3. Session id is sent to application's log out routine.
For this to work, all hosts must use a common session store (database, redis, network file system) or somehow share the session.
The application must regularly check the store for a valid session (vendor app does this for every page request).
Ray