A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness.

Jrme Leroux, M. Praveen, Grgoire Sutre

Browse the full CONCUR paper archive.