Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
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.
Michael D. Moffitt
ICCAD 2009
Yigal Hoffner, Simon Field, et al.
EDOC 2004
B.K. Boguraev, Mary S. Neff
HICSS 2000
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000