TY - JOUR T1 - Implementation relations and test generation for systems with distributed interfaces JO - Distributed Computing UR - https://doi.org/10.1007/s00446-011-0149-1 PY - 2011/11/24 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/11/05 ER -