Communicating between information systems
- 作者Changzhong Wang; Congxin Wu; Degang Chen; Qinghua Hu; Cong Wu
- 卷第178卷
- 期第16期
- 印刷ISSN0020-0255
- 文件大小296.92KB
- 发表时间2008
- DOI10.1016/j.ins.2008.03.017
- 页码3228-3239
Bisimulations for fuzzy transition systems revisitedWu, Hengyang; Chen, Taolue; Han, Tingting; Chen, Yixiang · International Journal of Approximate Reasoning · 2018
A Duality Theorem for Quantitative SemanticsHengyang Wu; Yixiang Chen · 2009
Semantics of sub-probabilistic programsYixiang Chen; Hengyang Wu · 2008
Coalgebras for Fuzzy Transition SystemsWu, Hengyang; Chen, Yixiang · Electronic Notes in Theoretical Computer Science · 2014
Semantics of non-deterministic possibility computationHengyang Wu; Yixiang Chen · 2012
Connection models for the Internet-of-ThingsHe, Kangli; Hermanns, Holger; Wu, Hengyang; Chen, Yixiang · Frontiers of Computer Science · 2020
A Reallocation Approach for Software Trustworthiness Based on Trustworthy AttributesTao, Hongwei; Chen, Yixiang; Wu, Hengyang · Mathematics · 2019