• 组装推导 - 引用次数：2

  Furthermore, port composition and six component composition mechanisms as well as their compositional reasoning algorithms are provided to support hierarchical configurations of software architecture effectively.

  提出端口组装和六种构件组装机制及相应的组装推导算法，以有效支持体系结构层次化配置。

  参考来源 - 基于π演算的软件体系结构形式化研究
  合成推理 - 引用次数：1

  参考来源 - 直觉线性μ
  复合推理 - 引用次数：1

  参考来源 - 空间方位关系模型与时空结合推理的研究
  组合推理 - 引用次数：1

  参考来源 - 密码协议的一种安全模型 A Security Model for Cryptographic Protocols

·2,447,543篇论文数据，部分数据来源于NoteExpress