Mark R. Tuttle Massachusetts Institute of Technology Cambridge / /
IndustryTerm
particular concurrent algorithms / event systems / automatic proof technology / leader election algorithm / communication algorithms / particular algorithms / concurrent systems / nite products / nondeterministic algorithms / synchronous systems / substantial-sized and complex concurrent algorithms / to all algorithms / network resource allocation algorithms / nite product / concurrent database systems / /
Organization
Defense Advanced Research Projects Agency / Massachusetts Institute of Technology / Institute of Technology Cambridge / National Science Foundation / /
An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988