@article {jucs/BarbosaRFJCG09, title = {Checking Semantics Equivalence of MDA Transformations in Concurrent Systems}, journal = {J. UCS}, volume = {15}, number = {11}, year = {2009}, note = {n/a}, pages = {2196-2224}, abstract = {n/a}, author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior and Anik{\'o} Costa and Lu\'{\i}s Gomes} }