TY - JOUR T1 - Implementation Relations for Testing Through Asynchronous Channels JO - The Computer Journal PY - 2013/01/01 AU - Hierons RM ED - DO - DOI: 10.1093/comjnl/bxs107 PB - Oxford University Press (OUP) VL - 56 IS - 11 SP - 1305 EP - 1319 Y2 - 2024/12/21 ER -