Relating operational and denotational descriptions of [pi]Demos.

Graham M. Birtwistle Chris M. N. Tofts

Published in: Simul. Pract. Theory (1997)

Keyphrases

carefully selected
decision making
operational semantics
high level
genetic algorithm
website
computational intelligence
semantic description