TS PLus использую. Разработчики российские, продают по всему миру.
Посмотрите, что то в районе 5000 руб на 3 рабочих места. Легально превращает любой компьютер с windows в сервер терминалов.
Если пользователи физически в одном помещении, то ibik АСТОР Про. Цены тоже смешные.