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.
@inproceedings{LutfiyyaMS93,
title = {Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling},
author = {Hanan Lutfiyya and Bruce M. McMillin and Alan Su 0002},
year = {1993},
tags = {data-flow},
researchr = {https://researchr.org/publication/LutfiyyaMS93},
cites = {0},
citedby = {0},
pages = {363-376},
booktitle = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
volume = {735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57316-X},
}