M. H. Bandukara

According to our database, M. H. Bandukara authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

On-the-fly bisimulation equivalence checking for fresh-register automata.

M. H. Bandukara, Nikos Tzevelekos

J. Syst. Archit., December, 2023

2022

On-The-Fly Bisimilarity Checking for Fresh-Register Automata.

M. H. Bandukara, Nikos Tzevelekos

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022