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

Jump to:navigation, search

zbMath0759.94020MaRDI QIDQ4028145

Joep L. W. Kessels

Publication date: 28 March 1993

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

zbMATH Keywords

distributed systems functional specification systolic designs recursive designs correctness-preserving transformations bounded response time RSA converter

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (1)

Calculational derivation of a counter with bounded response time and bounded power dissipation

This page was built for publication:

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