Regular expressions and the equivalence of programs

Some Applications of the Decidability of DPDA's Equivalence

MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality

The Böhm---Jacopini Theorem Is False, Propositionally

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction

Pair grammars, graph languages and string-to-graph translations

Journal of Computer and System Sciences

Program equivalence and context-free grammars

Journal of Computer and System Sciences

On program schemata equivalence

Journal of Computer and System Sciences

Büchi automata for modeling component connectors

Software and Systems Modeling (SoSyM)

Automata based model checking for reo connectors

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Survey: A survey of state vectors

Computer Science Review

On the average size of glushkov and equation automata for KAT expressions

FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory

A Goal-Directed Decision Procedure for Hybrid PDL

Journal of Automated Reasoning