Compositional specification of parallel time-critical systems.

Published in: ICCL (1992)

Keyphrases

management system
computing systems
learning systems
massively parallel
high end
databases
decision making
evolutionary algorithm
distributed systems
intelligent systems
computer systems
formal methods