Folgen
Mohamed Hamza Bandukara
Mohamed Hamza Bandukara
PhD Student
Bestätigte E-Mail-Adresse bei qmul.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
On-the-fly bisimulation equivalence checking for fresh-register automata
MH Bandukara, N Tzevelekos
Journal of Systems Architecture 145, 103010, 2023
12023
On-the-fly bisimilarity checking for fresh-register automata
MH Bandukara, N Tzevelekos
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
12022
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register Automata
N Tzevelekos, MH Bandukara
The Journal of Systems Architecture: Embedded Software Design, 2023
2023
Nominal Modal Logics for Fresh-Register Automata (work in progress)
MH Bandukara, N Tzevelekos
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4