A Denotional Real-Time Semantics for Shared Processes.

Published in: PARLE (2) (1991)

Keyphrases

real time
low cost
high speed
neural network
logic programming
databases
real world
genetic algorithm
information systems
case study
control system
vision system
data acquisition
formal semantics
dynamic aspects