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

scientific article; zbMATH DE number 1330137

From MaRDI portal

Publication:4260709

Jump to:navigation, search

zbMath0932.03028MaRDI QIDQ4260709

Peter Niebert, Michaela Huhn, Frank Wallner

Publication date: 1 September 1999

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

zbMATH Keywords

temporal logic distributed system local knowledge temporal modalities model checking algorithm communicating sequential agents gossip modalities multi-modal Kripke structure

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

This page was built for publication:

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