José Raúl Romero, Antonio Vallecillo. Formalizing ODP Computational Viewpoint Specifications in Maude. In 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings. pages 212-223, IEEE Computer Society, 2004. [doi]
Abstract is missing.