位置：成果数据库 > 会议 > 会议详情页
More on weak bisimilarity of normed basic parallel processes
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：5th International Conference on Theory and Applications of Models of Computation
  • 成果类型：会议
  • 会场：Xian, PEOPLES R CHINA
  • 相关项目：程序正确性验证与树自动机
作者： Chen, Haiyan|
同会议论文项目
程序正确性验证与树自动机
期刊论文 5 会议论文 4
同项目会议论文
Deciding weak bisimilarity of normed context-free processes using tableau
Weakly distributive domains
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled