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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Jump to:navigation, search

zbMath0663.68062MaRDI QIDQ3814813

David Harel, Doron Drusinsky

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nondeterminism alternation exponential lower bound finite-state systems cooperative concurrency pure parallelism simulation of statecharts by finite automata

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items

Complexity results for multi-pebble automata and their logics, A compositional axiomatization of statecharts, Introduction to design choices in the semantics of Statecharts

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