Comparing the Expressive Power of Well-Structured Transition Systems.

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Browse the full CSL paper archive.