Verification system for freedom from deadlock of communicating sequential processes.

Masaki Murakami Yasuyoshi Inagaki

Published in: Systems and Computers in Japan (1987)

Keyphrases

communication channels
model checking
computational models
face verification
artificial intelligence
sharing information
database
databases
neural network
computer vision
multimodal biometrics