A methodology for verifying request processing protocols.

Christos Nikolaou Edmund M. Clarke Nissim Francez Stephen A. Schuman

Published in: SIGCOMM (1983)

Keyphrases

information processing
real time
data processing
real world
multi party
computer vision
decision making
multiscale
evolutionary algorithm
data management
conceptual model