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

scientific article; zbMATH DE number 4001471

From MaRDI portal

Publication:4727421

Jump to:navigation, search

zbMath0617.68034MaRDI QIDQ4727421

Dominique Méry

Publication date: 1986

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

zbMATH Keywords

concurrency fragment of temporal logic eventuality properties of concurrent programs group of atomic concurrent actions justice hypothesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (1)

Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm

This page was built for publication:

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