A Formal Definition of Data Flow Graph Models

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

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

68N25: Theory of operating systems

Related Items

A high-level dataflow system