Each system maintains a server process that accepts requests for data and returns the desired information | каждая система поддерживает процесс-сервер, принимающий запросы на данные и возвращающий требуемую информацию (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |