Title of article :
Strategies and simulations in a semantic framework
Author/Authors :
Narciso Mart?-Oliet، نويسنده , , Miguel Palomino ، نويسنده , , Alberto Verdejo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Rewriting logic , simulations , Maude , Strategies , Operational semantics
Journal title :
Journal of Algorithms
Journal title :
Journal of Algorithms
