Translated title of the contribution | Modelling of structured dataflow nets |
---|---|
Original language | Russian |
Pages (from-to) | 127-157 |
Number of pages | 31 |
Journal | Modeling and Analysis of Information Systems |
Volume | N3 |
Publication status | Published - 1996 |
Externally published | Yes |
Keywords
- программы потоков данных
- модели
- свойства
- доказательства