Login / Signup
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style.
Meurig Sage
Chris W. Johnson
Published in:
INTERACT (1997)
Keyphrases
</>
multi agent
high level
multi agent systems
expert systems
functional analysis
formal specification
functional requirements
delay insensitive
data sets
databases
image processing
relational databases
efficient implementation
operational semantics