Concurrent ML: Design, Application and Semantics.

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases

building blocks
design process
case study
logic programming
computer aided
conceptual model
engineering design
application specific
optimal design
databases
decision trees
knowledge representation
object oriented
decision support
design methodologies
mutual exclusion