An exact algorithm dealing with shared signals in the GO methodology

This paper provides an exact quantification algorithm dealing with shared signals in the GO methodology. The exact calculation formulas of the output signal state probability of a logic operator, which includes the input signals with the shared signals, have been derived. All the shared signals should be transferred to the output signal of this logic operator and in the following calculation the formulas are still exact. This exact algorithm permits the direct calculation of all signal state probabilities of the systems. The result of an example shows that the exact algorithm is available and meaningful for more development of the GO methodology, it will be useful for more practical applications.