Reversed compound agent theorem
In probability theory, the reversed compound agent theorem (RCAT) is a set of sufficient conditions for a stochastic process expressed in any formalism to have a product form stationary distribution (assuming that the process is stationary). The theorem shows that product form solutions in Jackson's theorem, the BCMP theorem and G-networks are based on the same fundamental mechanisms.

The theorem identifies a reversed process using Kelly's lemma, from which the stationary distribution can be computed.

Notes

Further reading
  A short introduction to RCAT.

Probability theorems