Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
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
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004