Sign in
Architectural Specification, Exploration and Simulation Through Rewriting-Logic.
Mauricio Ayala-Rincón
Reiner W. Hartenstein
Rinaldi Maya Neto
Ricardo P. Jacobi
Carlos H. Llanos
Published in:
Rev. Colomb. de Computación (2002)
Keyphrases
</>
asynchronous circuits
logic programming
simulation models
formal language
multi agent
modal logic
simulation model
multi valued
linear temporal logic
database
high level
relational databases
logical framework
operational semantics