Publications: MR Hamza Bandukara
Bandukara MH, Tzevelekos N
(
2025
)
.
A Logic For Fresh Labelled Transition Systems
.
Bandukara MH, Tzevelekos N
.
A Logic for Fresh Labelled Transition Systems
.
Conference:
34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
Tzevelekos N, Bandukara MH
.
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register Automata
.
The Journal of Systems Architecture: Embedded Software Design
Bandukara H, Tzevelekos N
.
On-the-Fly Bisimilarity Checking for Fresh-Register Automata
.
Conference:
Symposium on dependable software engineering (SETTA'22)