DIXIE Protocol Specification.

Tim Howes Mark Smith Bryan Beecher

Published in: RFC (1991)

Keyphrases

protocol specification
communication protocols
formal specification
transformation rules
formal methods
fine grained