摘要
A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components. Furthermore, the existence of denotational objects is transformed into attractors and functional fixed points of a dynamical system. This method is the development of the fixed point theory on lattices in formal semantics, it can be applied to the analysis of procedure model about non-monotonic symmetric workflow.
| 源语言 | 英语 |
|---|---|
| 页(从-至) | 1299-1303 |
| 页数 | 5 |
| 期刊 | Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University |
| 卷 | 37 |
| 期 | 12 |
| 出版状态 | 已出版 - 12月 2003 |
学术指纹
探究 'Method of dynamical systems to research component reference semantics' 的科研主题。它们共同构成独一无二的学术指纹。引用此
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver