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
Deriving efficient cache coherence protocols through refinement - MaRDI portal

Deriving efficient cache coherence protocols through refinement

From MaRDI portal

Publication:5959861

Jump to:navigation, search

DOI10.1023/A:1012916831123zbMath0989.68006MaRDI QIDQ5959861

Ganesh Gopalakrishnan, Ratan Nalumasu

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

distributed shared memory DSM protocols

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

PVS

This page was built for publication: Deriving efficient cache coherence protocols through refinement

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