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 Formal Definition of Data Flow Graph Models - MaRDI portal

A Formal Definition of Data Flow Graph Models

From MaRDI portal

Publication:3738553

Jump to:navigation, search

DOI10.1109/TC.1986.1676696zbMath0602.68027MaRDI QIDQ3738553

U. Narayan Bhat, Billy P. Buckles, Krishna M. Kavi

Publication date: 1986

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

zbMATH Keywords

bipartite graph liveness Petri nets parallel processors deadlocks data flow graphs parallel computer systems

Mathematics Subject Classification ID

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

Related Items (1)

A high-level dataflow system

This page was built for publication: A Formal Definition of Data Flow Graph Models

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