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
Two small parallel programming exercises - MaRDI portal

Two small parallel programming exercises

From MaRDI portal

Publication:751846

Jump to:navigation, search

DOI10.1016/0167-6423(90)90083-PzbMath0715.68058MaRDI QIDQ751846

L. D. J. C. Loyens, Johannes G. G. van de Vorst

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

program specification parallel programming program derivation parameterised invariants

Mathematics Subject Classification ID

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

This page was built for publication: Two small parallel programming exercises

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