位置：成果数据库 > 会议 > 会议详情页
Modeling distributed system: architecture and process
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：2004 International Symposium on Distributed Computing and Applications to Business, Engineering and
  • 语言：英文
  • 成果类型：会议
  • 相关项目：多种类递归函数的求值算法和优化技术研究
作者： 金蓓弘|汪建超|
同会议论文项目
多种类递归函数的求值算法和优化技术研究
期刊论文 9 会议论文 6
同项目会议论文
Facilitating formal specification acquisition by using recursive functions on context-free languages
An encoding-based method for pattern-matching
Incorporating static type-checking into functions defined on context-free languages
Modeling and prototyping of software systems
Statically typed XML processing by the LFC language