Complete Call-by-Value Calculi of Control Operators II: Strong Termination.

Published in: CoRR (2017)

Keyphrases

control system
control theory
control strategy
morphological operators
adaptive control
control problems
control structures
database
data sets
information systems
building blocks
control strategies
process control