Compositional analysis for regularity, liveness and boundedness.

Li Jiao Compositional analysis for regularity, liveness and boundedness. 169-174 2005 conf/icinco/2005 ICINCO db/conf/icinco/icinco2005.html#Jiao05