TY - JOUR T1 - Testing conformance of a deterministic implementation against a non-deterministic stream X-machine JO - Theoretical Computer Science PY - 2004/01/01 AU - Hierons RM AU - Harman M ED - DO - DOI: 10.1016/j.tcs.2004.04.002 PB - Elsevier BV VL - 323 IS - 1-3 SP - 191 EP - 233 Y2 - 2025/08/03 ER -