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
Formal verification of complex coherence protocols using symbolic state models - MaRDI portal

Formal verification of complex coherence protocols using symbolic state models

From MaRDI portal

Publication:3158515

Jump to:navigation, search

DOI10.1145/285055.285057zbMath1065.68586OpenAlexW2063124005WikidataQ131130487 ScholiaQ131130487MaRDI QIDQ3158515

Fong Pong, Michel Dubois

Publication date: 25 January 2005

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/285055.285057

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (1)

The Spotlight Principle

This page was built for publication: Formal verification of complex coherence protocols using symbolic state models

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