- Behavioural differential equations: a coinductive calculus of streams, automata, and power series J. J. M. M. Rutten Sat 25 March 2023
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata Antonín Kučera Richard Mayr Mon 21 January 2019
- Complete formal systems for equivalence problems Géraud Sénizergues Thu 04 October 2018
- Checking NFA Equivalence with Bisimulations Up to Congruence Filippo Bonchi Damien Pous Sat 28 December 2013
- On the Expressiveness and Decidability of Higher-order Process Calculi Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt Fri 13 December 2013
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
