A Framework for the Synthesis of Reactive Modules.

Amir Pnueli Roni Rosner

Published in: Concurrency (1988)

Keyphrases

main contribution
computational framework
databases
probabilistic model
framework enables
multimedia
bayesian networks
expert systems
computational model