On the Automated Correction of Protocols with Improper Message Encoding.

Dieter Hutter Raúl Monroy

Published in: ARSPA-WITS (2009)

Keyphrases

email
message delivery
fully automated
semi automated
messages exchanged
case study
encoding scheme
commit protocols
website
infrared
computer assisted
variable length