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

Jump to:navigation, search

zbMath0785.68060MaRDI QIDQ4028640

Kaisa Sere, Ralph-Johan Back

Publication date: 28 March 1993

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

zbMATH Keywords

parallel algorithms distributed programs distributed broadcasting algorithm superposition refinements

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (4)

An action-based formal model for concurrent real-time systems ⋮ Superposition refinement of reactive systems ⋮ Model checking action system refinements ⋮ Mechanizing some advanced refinement concepts

This page was built for publication:

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