Dec 17, 2009 0
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing reactive systems using process algebraic languages.




