Synthesizing Reactive Programs.

Parthasarathy Madhusudan

Published in: CSL (2011)

Keyphrases

information systems
multiscale
programming environment
object oriented
program execution
control structures
subsumption architecture