Data flow analysis of program nets
From MaRDI portal
Publication:1163368
DOI10.1016/0016-0032(82)90088-6zbMath0483.68029OpenAlexW2084888424MaRDI QIDQ1163368
Publication date: 1982
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0016-0032(82)90088-6
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (1)
Cites Work
This page was built for publication: Data flow analysis of program nets