On the Synthesis of an Asynchronous Reactive Module.

Amir Pnueli Roni Rosner

Published in: ICALP (1989)

Keyphrases

agent architecture
real time
databases
machine learning
information systems
image processing
optimal solution
texture synthesis
program synthesis
asynchronous cellular automata