Axiomatizing Weak Ready Simulation Semantics over BCCSP.

Luca Aceto David de Frutos-Escrig Carlos Gregorio-Rodríguez Anna Ingólfsdóttir

Published in: ICTAC (2011)

Keyphrases

logic programming
simulation models
simulation model
artificial intelligence
decision trees
case study
database systems
control system
programming language
simulation study
high fidelity