机构

• 软件研究所 [12]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [7]
• 会议论文 [5]

发表日期

• 2016 [2]
• 2013 [2]
• 2009 [1]
• 2007 [2]
• 2005 [2]
• 2003 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文  OAI收割 FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143 Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A   |  收藏  |   Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316 Xu, LL; Lin, HM   |  收藏  |   BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文  OAI收割 LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming   |  收藏  |   Incremental bisimulation abstraction refinement 会议论文  OAI收割 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)   |  收藏  |   algorithms for computing weak bisimulation equivalence 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Li Weisong   |  收藏  |   probabilistic bisimulations for quantum processes 期刊论文  OAI收割 INFORMATION AND COMPUTATION, 2007, 卷号: 205, 期号: 11, 页码: 1608-1639 Feng Yuan; Duan Runyao; Ji Zhengfeng; Ying Mingsheng   |  收藏  |   controlling process modularity in mobile computing 会议论文  OAI收割 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Kitamura Takashi; Lin Huimin   |  收藏  |   extended symbolic transition graphs with assignment 会议论文  OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM   |  收藏  |   compositionality of fixpoint logic with chop 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Zhan NJ; Wu JZ   |  收藏  |   complete inference systems for weak bisimulation equivalences in the [pi]-calculus 期刊论文  OAI收割 Information and Computation, 2003, 卷号: 180, 期号: 1, 页码: 40207 Lin Huimin   |  收藏  |