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
Concurrent Redundancy Problem and Control Methods - MaRDI portal

Concurrent Redundancy Problem and Control Methods

From MaRDI portal

Publication:2917144

Jump to:navigation, search

DOI10.3724/SP.J.1001.2011.03862zbMath1265.68109OpenAlexW2325479933MaRDI QIDQ2917144

Xiangwu Meng, JunLiang Chen, Xiaoyan Shen, Qian He

Publication date: 5 October 2012

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2011.03862

zbMATH Keywords

Petri net data race concurrent control concurrent redundancy control

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Concurrent Redundancy Problem and Control Methods

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