共 50 条
- [31] Run-time principals in information-flow type systems [J]. 2004 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2004, : 179 - 193
- [32] KINETIC APPROACH TO DESCRIPTION OF DYNAMIC-SYSTEMS WITH INCOMPLETE INFORMATION [J]. AVTOMATIKA, 1989, (05): : 35 - 38
- [33] INCLUSION OF NEW TASKS IN THE INFORMATION-FLOW OF VARIABLE MANUFACTURING SYSTEMS [J]. WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1979, 69 (08): : 489 - 494
- [34] HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell [J]. PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 289 - 301
- [38] CHAOS AND INFORMATION-PROCESSING IN NONLINEAR DYNAMIC-SYSTEMS [J]. RADIOTEKHNIKA I ELEKTRONIKA, 1993, 38 (01): : 1 - 24
- [40] DIFFUSIVE DYNAMICS AND PERIODIC-ORBITS OF DYNAMIC-SYSTEMS [J]. PHYSICS LETTERS A, 1991, 160 (06) : 528 - 530