|
| Keyword : data-flow program
| |
| |
|
On Verification of Token Self-Cleanness of Data-Flow Program Nets Qi-Wei GE Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A
No. 6 ;
pp. 812-817
Type of Manuscript:
Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category: Keyword: data-flow program, program net, token selfcleanness, verification, | | | Summary | Full Text:PDF | |
|
|