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:3954803

Jump to:navigation, search

zbMath0492.68021MaRDI QIDQ3954803

Michael A. Arbib, Ernest G. Manes

Publication date: 1981

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

zbMATH Keywords

fixed points partial functions programming language semantics partially-additive semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Port automata and the algebra of concurrent porcesses

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