Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002. Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 363-376, Springer, 1993.
Abstract is missing.