The Fixpoint-Analysis Machine.

Bernhard Steffen, Andreas Claen, Marion Klein, Jens Knoop, Tiziana Margaria

Browse the full CONCUR paper archive.