Generalized finitary real-time calculus.

Kai Lampka Steffen Bondorf Jens B. Schmitt Nan Guan Wang Yi

Published in: INFOCOM (2017)

Keyphrases

real time
finite state
control system
databases
information systems
automated deduction