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
The correctness of asynchronous parallel-flow data processing systems - MaRDI portal

The correctness of asynchronous parallel-flow data processing systems

From MaRDI portal

Publication:1093372

Jump to:navigation, search

zbMath0628.68052MaRDI QIDQ1093372

O. L. Bandman

Publication date: 1986

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

correctness Petri nets asynchronous data flow processing system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

This page was built for publication: The correctness of asynchronous parallel-flow data processing systems

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