Specification and Verification of Active Message Systems.

Kok Wai Wong Elizabeth A. Unger

Published in: SIGSMALL/PC Symposium (1990)

Keyphrases

formal methods
distributed systems
asynchronous circuits
management system
computer systems
real time
retrieval systems
knowledge based systems
highly modular
formal verification
complex systems
building blocks
email
mobile devices
face recognition
computer vision
artificial intelligence
neural network