Oliveira, A. ., Azim, A. ., Fischmeister, S. ., Marau, R. ., & Almeida, L. . (2014). D-RES: Correct Transitive Distributed Service Sharing. Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress. Presented at the. Barcelona, Spain.