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