[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] the proof of recursive process



Hi,
 
If we got two recursive process as follows:
 
P= a->b->P 
 
Q= a->b->Q
 
 
Is it possible to prove the two porcesses,P and Q, are equivalent? If possible, how to do it?
 
Thanks!
 
 
Kun