Camilo Rocha, José Meseguer. Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 603-629, Springer, 2014. [doi]
Abstract is missing.