Checking Semantics Equivalence of MDA Transformations in Concurrent Systems | Anikó Costa

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems

Citation:: Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'ıs Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." J. UCS. 15 (2009): 2196-2224.

Abstract:

n/a

Notes:

n/a