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