Komunikující X-Machine - Communicating X-Machine

The Komunikující (streamovaný) X-Machine je model výpočtu zavedený různými výzkumníky v 90. letech do modelových systémů složených z komunikujících agentů. Model existuje v několika variantách, které jsou buď přímo založeny na Samuel Eilenberg je X-stroj[1] nebo později Gilberta Laycocka Streamujte X-Machine.[2]

Reference

  1. ^ S. Eilenberg (1974) Automata, Languages ​​and Machines, Vol. A. Academic Press, London.
  2. ^ Gilbert Laycock (1993) Teorie a praxe testování softwaru na základě specifikací. Disertační práce, University of Sheffield. Abstraktní Archivováno 2007-11-05 na Wayback Machine