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
Properties of concurrent programs - MaRDI portal

Properties of concurrent programs

From MaRDI portal

Publication:1346603

Jump to:navigation, search

DOI10.1007/BF03259388zbMath0828.68076MaRDI QIDQ1346603

K. Mani Chandy

Publication date: 6 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

fairness safety temporal logic concurrency Hoare triples unity theory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Uses Software

UNITY

Cites Work

This page was built for publication: Properties of concurrent programs

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