Skip to main content
Research
  1. Queen Mary University of London
  2. Research
  3. Publications

Publications: Mr Mohamed Bandukara

Back to Search
Bandukara MH, Tzevelekos N ( 2023 ) . On-the-fly bisimulation equivalence checking for fresh-register automata . Journal of Systems Architecture vol. 145 ,
Bandukara MH, Tzevelekos N ( 2022 ) . On-The-Fly Bisimilarity Checking for Fresh-Register Automata . Lecture Notes in Computer Science . vol. 13649 , 187 - 204 .