Publications: MR Hamza Bandukara
Bandukara MH, Tzevelekos N
(
2025
)
.
A Logic For Fresh Labelled Transition Systems
.
Bandukara MH
(
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
.
Bandukara MH, Tzevelekos N
.
A Logic for Fresh Labelled Transition Systems
.
Conference:
34th EACSL Annual Conference on Computer Science Logic (CSL 2026)