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; zbMATH DE number 1414288 - MaRDI portal

scientific article; zbMATH DE number 1414288

From MaRDI portal

Publication:4942625

Jump to:navigation, search

zbMath0941.68573MaRDI QIDQ4942625

Joachim Parrow, Peter Sjödin

Publication date: 16 March 2000

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

zbMATH Keywords

congruence transition systems coupled simulation equivalence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

Coupled similarity: the first 32 years, Decoding choice encodings, A hierarchy of equivalences for asynchronous calculi, A general approach to comparing infinite-state systems with their finite-state specifications, Decoding choice encodings

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