Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology. © 1983 IEEE
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007