{"version":"1.0","type":"link","title":"Stream X-Machine - Newikis","description":"The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification Based Software Testing. Based on Samuel Eilenberg's X-machine, an extended finite-state machine for processing data of the type X, the Stream X-Machine…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}