A logic for simulating discontinous systems.

Sanjai Narain Jeff Rothenberg

Published in: WSC (1989)

Keyphrases

decision making
computer systems
digital circuits
asynchronous circuits
neural network
computer vision
e learning
website
case study
distributed systems
knowledge based systems
complex systems
modal logic
computational properties