Искусство неизменяемой архитектуры — Прочитав эту книгу, вы поймете преимущества использования неизменяемых объектов в ваших распределенных системах.

Построение распределенных систем на базе WebSocket — Пособие дает представление о проектировании клиент-серверных систем, использующих технологию WebSocket — двунаправленной асинхронной симметричной связи между браузером и сервером, самого революционного расширения протокола HTTP с момента его появления.

Model Checking. Верификация параллельных и распределенных программных систем — В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.