TY - CONF T1 - A UML approach to the design of open distributed systems JO - FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS PY - 2002/01/01 AU - Bordbar B AU - Derrick J AU - Waters G ED - George C ED - Miao H VL - 2495 SP - 561 EP - 572 Y2 - 2025/05/16 ER -