Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).

Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka

Browse the full TACAS paper archive.