Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Verification of Dynamic Register Automata - MaRDI portal

Verification of Dynamic Register Automata

From MaRDI portal

Publication:2978554

Jump to:navigation, search

DOI10.4230/LIPICS.FSTTCS.2014.653zbMath1360.68575OpenAlexW23130548MaRDI QIDQ2978554

Mohamed Faouzi Atig, Othmane Rezine, Ahmet Kara, Parosh Aziz Abdulla

Publication date: 25 April 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSTTCS.2014.653

zbMATH Keywords

verification reachability problem register automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Modeling Actor Systems Using Dynamic I/O Automata

This page was built for publication: Verification of Dynamic Register Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2978554&oldid=15984575"