Visual Specifications for Modular Reasoning about Asynchronous Systems.

Nina Amla E. Allen Emerson Kedar S. Namjoshi Richard J. Trefler

Published in: FORTE (2002)

Keyphrases

neural network
distributed systems
visual information
asynchronous circuits
high level
expert systems
peer to peer
knowledge based systems
visual features
complex systems
finite state machines
delay insensitive
real time
intelligent systems
computer systems
formal theory