Лавріщева, К.М.; Стеняшин, А.Ю.
(Проблеми програмування, 2013)
Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. ...