basic framework for Chandy-Misra-Haas