Login / Signup
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
Luca Aceto
David de Frutos-Escrig
Carlos Gregorio-Rodríguez
Anna Ingólfsdóttir
Published in:
Inf. Process. Lett. (2011)
Keyphrases
</>
input output
simulation model
simulation environment
metadata
high level
artificial neural networks
logic programming
simulation study
numerical simulations
finite number
formal semantics
specification language
closed world