A language-based approach to protocol implementation.

Mark B. Abbott Larry L. Peterson

Published in: IEEE/ACM Trans. Netw. (1993)

Keyphrases

specification language
natural language
language learning
lightweight
programming language
query language for xml
protocol specification
agent communication language
logic programs
modeling language
target language
formal analysis
general purpose
operational semantics
relational databases
web services
databases