X-Machine ile İletişim - Communicating X-Machine
İletişim (Akış) X-Machine iletişim aracılarından oluşan sistemleri modellemek için 1990'larda çeşitli araştırmacılar tarafından sunulan bir hesaplama modelidir. Model, doğrudan aşağıdakilere dayanan birkaç varyantta mevcuttur: Samuel Eilenberg 's X-makinesi[1] ya da Gilbert Laycock'un sonrasındaki Akış X-Machine.[2]
Referanslar
- ^ S. Eilenberg (1974) Automata, Languages and Machines, Cilt. Bir. Academic Press, Londra.
- ^ Gilbert Laycock (1993) Spesifikasyon Tabanlı Yazılım Testinin Teorisi ve Uygulaması. Doktora Tezi, Sheffield Üniversitesi. Öz Arşivlendi 2007-11-05 Wayback Makinesi