TY - JOUR T1 - Implementation relations and test generation for systems with distributed interfaces JO - Distributed Computing PY - 2012/01/01 AU - Hierons RM AU - Merayo MG AU - N煤帽ez M ED - DO - DOI: 10.1007/s00446-011-0149-1 PB - Springer Science and Business Media LLC VL - 25 IS - 1 SP - 35 EP - 62 Y2 - 2025/04/04 ER -