Rewrite Systems for Protocol Specification and Verification.

S. Ramanathan G. Sivakumar

Published in: FORTE (1990)

Keyphrases

protocol specification
rewrite systems
term rewriting
formal specification
communication protocols
knuth bendix
active rules
formal methods
knowledge based systems
theorem prover
operational semantics
distributed databases
theorem proving
transformation rules