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
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism - MaRDI portal

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism

From MaRDI portal

Publication:2986822

Jump to:navigation, search

DOI10.1109/LICS.2012.56zbMath1362.68161MaRDI QIDQ2986822

Carroll Morgan, Larissa A. Meinicke, Annabelle McIver

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantics quantitative information flow probabilistic domains probabilistic monads refinement orders

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Algebra for Quantitative Information Flow ⋮ An axiomatization of information flow measures

This page was built for publication: A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism

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