Usage of a Formal Result to Design a Causally and Totally Ordered Multicast Protocol.

Christian Toinard

Published in: PDCS (2004)

Keyphrases

formal analysis
totally ordered
lightweight
case study
user interface
design process
end to end
data mining
formal methods