TY - JOUR T1 - Relational Concurrent Refinement with Internal Operations JO - Electronic Notes in Theoretical Computer Science PY - 2007/01/01 AU - Derrick J AU - Boiten E ED - DO - DOI: 10.1016/j.entcs.2006.08.043 VL - 187 SP - 35 EP - 53 Y2 - 2024/12/22 ER -