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
An experiment with the use of predicate transformers in UNITY - MaRDI portal

An experiment with the use of predicate transformers in UNITY

From MaRDI portal

Publication:673907

Jump to:navigation, search

DOI10.1016/0020-0190(94)00215-KzbMath0875.68498MaRDI QIDQ673907

Rutger M. Dijkstra

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Parallel algorithms Program correctness Proof methodology

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Uses Software

UNITY

Cites Work

This page was built for publication: An experiment with the use of predicate transformers in UNITY

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