Общение 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