Typing Correspondence Assertions for Communication Protocols.

Andrew D. Gordon Alan Jeffrey

Published in: MFPS (2001)

Keyphrases

communication protocols
communication protocol
knowledge base
communication networks
databases
data mining
information systems
protocol specification
augmented reality
point correspondences