Robert E. Donovan
INTERSPEECH - Eurospeech 2001
A weakest precondition semantics for communicating processes is presented, based on a centralized, one-level approach. Semantic equations are given for the CSP constructs and their continuity is proved. The equivalence of two weakest precondition definitions, one with certain order preferences, and another one, preference-free, is shown. The representation of various operational concepts, including delay, is discussed. Several examples of applying the rules are given. © 1984.
Robert E. Donovan
INTERSPEECH - Eurospeech 2001
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
John M. Boyer, Charles F. Wiecha
DocEng 2009