概率进程演算的测试语义

60703033
2007
F0201.计算机科学的基础理论
邓玉欣
青年科学基金项目
教授
上海交通大学
21万元
公理化;概率进程演算;测试语义;指称语义;模拟语义
2008-01-01到2010-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Game Characterizations of Process Equivalences 会议论文 Chen, Xin|Deng, Yuxin|
2 A Local Algorithm for Checking Probabilistic Bisimilarity 会议论文 Deng, Yuxin|Du, Wenjie|
3 Canonical Coin Systems for CHANGE-MAKING Problems 会议论文 Cai, X.|
4 An Exact Fast Algorithm for Minimum Hitting Set 会议论文 Shi, L., Cai, X.|
5 Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus 会议论文 Cai, X., Gu, Y.,|
6 Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable 会议论文 Fu, H.|
7 Probabilistic applied Pi calculus and zero knowledge 会议论文 Han, Zhu|Xiaohong, Wu|Yonggen, Gu|
8 A Simpler Framework based on the Applied Pi Calculus and its Application to Electronic Cash Protocol 会议论文 Deng, Yuxin|Cai, Xiaojuan|
9 Finite axiomatization for symbolic probabilistic π-calculus 期刊论文 Deng, Yu-Xin|Song, Lei|
10 Axiomatic systems for the bisimilarity on finite fair ambient processes 期刊论文 Zhu, H.,|
11 On Mobility and Communication 期刊论文 Deng,Y.|Du,W.|
12 Testing Finitary Probabilistic Processes 会议论文 Deng, Yuxin|van Glabbeek, Rob|Morgan, Carroll|Hennessy, Matthew|
13 A Game-Theoretic Model for Analyzing Fair Exchange Protocols 会议论文 Gu, Y., Shen. Z., Xue, D.|
14 Measuring Anonymity 会议论文 Cai, X., Gu, Y.|
15 Digestion-based software formal transformation 会议论文 Xiaojuan, Cai|Yonggen, Gu|
16 Knowledge Aware Bisimulation and Anonymity 会议论文 Zhu, H., Gu Y., Cai, X.|
17 CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES 期刊论文 van Glabbeek, Rob|Hennessy, Matthew|Morgan, Carroll|Deng, Yuxin|
18 Verifying Self-stabilizing Population Protocols with Coq 会议论文 Monin, Jean-Francois|Deng, Yuxin|
19 基于原型验证系统的自稳定算法形式化验证 期刊论文 毛玲炤|邓玉欣|
20 On automatic verification of self-stabilizing population protocols 期刊论文 Pang,J.|Deng,Y.|Luo,Z.|
21 Applying a testing approach to the Calculus of Fair Ambients 期刊论文 Cai, X., Zhu, H.|
22 An Open Approach for the Applied Pi Calculus 期刊论文 Zhu, H., Gu, Y., Wu, X.|
23 Verifying Anonymous Credential Systems in Applied Pi Calculus 会议论文 Li, Xiangxi|Deng, Yuxin|Zhang, Yu|
24 The Kantorovich Metric in Computer Science: A Brief Survey 期刊论文 Deng,Y.|Du,W.|
25 Characterising Probabilistic Processes Logically (Extended Abstract) 会议论文 Deng, Y., van Glabbeek, R.|
26 On automatic verification of self-stabilizing population protocols 会议论文 Deng,Y.|Pang,J.|Luo,Z.|
27 Linear kernelizations for restricted 3-Hitting Set problems 期刊论文 Xuan Cai|
28 Analyzing NSPK with the Applied Pi Calculus 会议论文 Cai, X., Wu, X.|
查看更多信息请先登录或注册

趋势报告

经验分享