中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
an algebraic approach for managing inconsistencies in software processes [会议论文]
International Conference on Software Process, Minneapolis, MN, MAY 19-20,
Yang Qiusong; Li Mingshu; Wang Qing; Yang Guowei; Zhai Jian; Li Juan; Hou Lishan; Yang Yun
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
deriving non-determinism from conjunction and disjunction [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Zhan NJ; Majster-Cederbaum M
  |  
 
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
传值进程模型检测中诊断信息的生成 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1, 页码: 40186
刘剑; 林惠民
  |  
 
complete inference systems for weak bisimulation equivalences in the [pi]-calculus [期刊论文]
Information and Computation, 2003-01-01, 卷号: 180, 期号: 1, 页码: 40207
Lin Huimin

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace