Compositional analysis for regularity, liveness and boundedness.

Li Jiao

Browse the full ICINCO paper archive.