External Links

    Journal: Formal Asp. Comput.

    Volume 12, Issue 6

    417 -- 0. Editorial
    418 -- 422Mike Holcombe. What are X-Machines?
    423 -- 442Robert M. Hierons, Mark Harman. Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine
    443 -- 458Florentin Ipate, Mike Holcombe. Generating Test Sets from Non-Deterministic Stream X-Machines
    459 -- 472Marian Gheorghe. Generalised Stream X-Machines and Cooperating Distributed Grammar Systems
    473 -- 484Tudor Balanescu. Generalised Stream X-Machines with Output Delimited Type
    485 -- 500Anthony J. Cowling, Horia Georgescu, Cristina Vertan. A Structured Way to Use Channels for Communication in X-Machine Systems
    runs on