Verification of Nonregular Temporal Properties for Context-Free Processes

Verifying infinite state processes with sequential and parallel composition

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pushdown Specifications

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Flatness Is Not a Weakness

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic

Automatic verification of sequential infinite-state processes

Automatic verification of sequential infinite-state processes