@inproceedings{HPDC-1993-MullinTDS,
	author        = "Lenore M. R. Mullin and Scott Thibault and Daria R. Dooling and Erik A. Sandberg",
	booktitle     = "{Proceedings of the Second International Symposium on High Performance Parallel and Distributed Computing}",
	doi           = "10.1109/HPDC.1993.263837",
	isbn          = "0-8186-3900-8",
	pages         = "234--242",
	publisher     = "{IEEE}",
	title         = "{Formal Method for Scheduling, Routing and Communication Protocol}",
	year          = 1993,
}