- Regularity Results for FIFO Channels Nils Klarlund Richard Trefler Mon 26 March 2018
- Deciding finiteness of Petri nets up to bisimulation Petr Jančar Javier Esparza Fri 09 June 2017
- Bisimulation equivalence and regularity for real-time one-counter automata Stanislav Bøhm Stefan Gøller Petr Jančar Mon 12 September 2016
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
