WikiDer > Общение X-Machine
Communicating X-Machine
В Общение (поток) X-Machine это модель вычислений, введенная различными исследователями в 1990-х годах для моделирования систем, состоящих из взаимодействующих агентов. Модель существует в нескольких вариантах, которые либо основаны непосредственно на Сэмюэл Эйленбергс X-машина[1] или о более позднем Гилберте Лэйкоке Stream X-Machine.[2]
Рекомендации
- ^ С. Эйленберг (1974) Автоматы, языки и машины, Vol. А. Academic Press, Лондон.
- ^ Гилберт Лэйкок (1993) Теория и практика тестирования программного обеспечения на основе спецификаций. Докторская диссертация, Шеффилдский университет. Абстрактный В архиве 2007-11-05 на Wayback Machine