Общение X-Machine - Communicating X-Machine

В Общение (поток) X-Machine это модель вычислений, введенная различными исследователями в 1990-х годах для моделирования систем, состоящих из взаимодействующих агентов. Модель существует в нескольких вариантах, которые либо основаны непосредственно на Сэмюэл Эйленберг с X-машина[1] или о более позднем Гилберте Лэйкоке Stream X-Machine.[2]

Рекомендации

  1. ^ С. Эйленберг (1974) Автоматы, языки и машины, Vol. А. Academic Press, Лондон.
  2. ^ Гилберт Лэйкок (1993) Теория и практика тестирования программного обеспечения на основе спецификаций. Докторская диссертация, Шеффилдский университет. Абстрактный В архиве 2007-11-05 на Wayback Machine