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
Simulation Opacity - MaRDI portal

Simulation Opacity

From MaRDI portal

Publication:2934893

Jump to:navigation, search

DOI10.3233/FI-2014-1069zbMATH Open1302.68201OpenAlexW2914410464MaRDI QIDQ2934893

Damas Gruska

Publication date: 22 December 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1069

zbMATH Keywords

security process algebras opacity information flow

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Games with Opacity Condition

This page was built for publication: Simulation Opacity

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

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