Typing correspondence assertions for communication protocols.

Andrew D. Gordon Alan Jeffrey

Published in: Theor. Comput. Sci. (2003)

Keyphrases

communication protocols
communication protocol
knowledge base
point correspondences
communication networks
information systems
distributed systems
data processing
intelligent agents
image matching