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

Publication:4035661

Jump to:navigation, search

zbMath0773.68057MaRDI QIDQ4035661

Volker Diekert

Publication date: 18 May 1993

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

zbMATH Keywords

concurrent systems semantics processes ultra-metric space dependence graphs alphabet at infinity direct products of free monoids

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of computing (68Q99)

Related Items (9)

Deterministic asynchronous automata for infinite traces ⋮ Infinite concurrent systems. I: The relationship between metric and order convergence ⋮ Poset properties of complex traces ⋮ The word problem for \(1\mathcal{LC}\) congruences is NP-hard. ⋮ On the concatenation of infinite traces ⋮ The poset of infinitary traces ⋮ Asynchronous cellular automata for infinite traces ⋮ Logical definability on infinite traces ⋮ An extension of Kleene's and Ochmański's theorems to infinite traces

This page was built for publication:

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