Title of article
Strategies and simulations in a semantic framework
Author/Authors
Narciso Mart?-Oliet، نويسنده , , Miguel Palomino ، نويسنده , , Alberto Verdejo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
22
From page
95
To page
116
Keywords
Rewriting logic , simulations , Maude , Strategies , Operational semantics
Journal title
Journal of Algorithms
Serial Year
2007
Journal title
Journal of Algorithms
Record number
291717
Link To Document