Strategies and simulations in a semantic framework (Q5429558)
From MaRDI portal
scientific article; zbMATH DE number 5216477
Language | Label | Description | Also known as |
---|---|---|---|
English | Strategies and simulations in a semantic framework |
scientific article; zbMATH DE number 5216477 |
Statements
Strategies and simulations in a semantic framework (English)
0 references
30 November 2007
0 references
strategies
0 references
simulations
0 references
rewriting logic
0 references
Maude
0 references
operational semantics
0 references