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

Jump to:navigation, search

zbMATH Open0551.68022MaRDI QIDQ3343421

Gadi Taubenfeld, Nissim Francez

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

verification concurrent programs partial correctness deadlock modular proof system

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (2)

Typing correspondence assertions for communication protocols ⋮ Typing Correspondence Assertions for Communication Protocols

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343421)

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