Komunikacja X-Machine

Communicating (Stream) X-Machine to model obliczeniowy wprowadzony przez różnych badaczy w latach 90. XX wieku do modelowania systemów składających się z komunikujących się agentów. Model istnieje w kilku wariantach, które są albo oparte bezpośrednio na X-machine Samuela Eilenberga , albo na późniejszym Stream X-Machine Gilberta Laycocka .

  1. ^ S. Eilenberg (1974) Automaty, języki i maszyny, tom. A. _ Prasa Akademicka, Londyn.
  2. ^ Gilbert Laycock (1993) Teoria i praktyka testowania oprogramowania opartego na specyfikacji . Praca doktorska, Uniwersytet w Sheffield. Streszczenie zarchiwizowane 05.11.2007 w Wayback Machine
Pobrano z „ https://en.wikipedia.org/w/index.php?title=Communicating_X-Machine&oldid=905209906 ”