Modeling Group Communication Protocols Using Multiset Term Rewriting.

Grit Denker Jonathan K. Millen

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

group communication
term rewriting
database replication
fault tolerance
key distribution
message delivery
replicated databases
operational semantics
key management
theorem proving
theorem prover
modeling language
computing environments
wireless sensor networks
natural language
rewrite systems
knuth bendix