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 3624776 - MaRDI portal

scientific article; zbMATH DE number 3624776

From MaRDI portal

Publication:4187299

Jump to:navigation, search

zbMath0402.68023MaRDI QIDQ4187299

Y. S. Kwong

Publication date: 1979

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

zbMATH Keywords

Correctness Criterion Livelocks in Parallel Programs Problem Reduction Proving Termination in Sequential Programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

A unified approach for studying the properties of transition systems

This page was built for publication:

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