On-The-Fly Bisimilarity Checking for Fresh-Register Automata. - Mohamed H. Bandukara; Nikos Tzevelekos (SETTA, 2022)

On-the-fly bisimulation equivalence checking for fresh-register automata. - Mohamed H. Bandukara; Nikos Tzevelekos (J. Syst. Archit., 2023)

A Logic For Fresh Labelled Transition Systems. - Mohamed H. Bandukara; Nikos Tzevelekos (CoRR, 2025)