位置：成果数据库 > 期刊 > 期刊详情页
Finite axiomatization for symbolic probabilistic π-calculus
  • ISSN号：1007-1172
  • 期刊名称：上海交通大学学报(英文版)
  • 时间：0
  • 页码：536-541
  • 语言：中文
  • 分类：O1-0[理学—数学;理学—基础数学] TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China
  • 相关基金：Foundation item： the National Basic Research Program （973） of China （No. 2003CB317005） and the National Nature Science Foundation of China （Nos. 60573002 and 60703033）
  • 相关项目：概率进程演算的测试语义
作者： Deng, Yu-Xin|Song, Lei|
关键词： Π-演算, 公理化, 概率, 符号, 有限, 推理系统, 不确定性, 象征性, probabilistic process calculus, axiomatization, symbolic bisimulation
中文摘要：

E-mail： songlei163@gmail.com

同期刊论文项目
灰箱演算的公平性和匿名性研究
期刊论文 5
概率进程演算的测试语义
期刊论文 13 会议论文 18
同项目期刊论文
The Kantorovich Metric in Computer Science: A Brief Survey
Linear kernelizations for restricted 3-Hitting Set problems
On Mobility and Communication
Axiomatic systems for the bisimilarity on finite fair ambient processes
基于原型验证系统的自稳定算法形式化验证
Applying a testing approach to the Calculus of Fair Ambients
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES
An Open Approach for the Applied Pi Calculus
On automatic verification of self-stabilizing population protocols
概率Applied Pi框架下的匿名度分析
最小碰集问题的精确快速算法
一种计算有限标号转移系统模拟关系的算法
基于原型验证系统的自稳定算法形式化验证
概率Applied Pi框架下的匿名度分析
一种计算有限标号转移系统模拟关系的算法
Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
期刊信息
  • 《上海交通大学学报：英文版》
  • 主管单位:国家教育部
  • 主办单位:上海交通大学
  • 主编：郑杭
  • 地址：上海市华山路1954号
  • 邮编：200030
  • 邮箱：xuebao3373@stju.edu.cn
  • 电话：021-62933373 62932534
  • 国际标准刊号：ISSN：1007-1172
  • 国内统一刊号：ISSN：31-1943/U
  • 邮发代号:4-635
  • 获奖情况:
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库
  • 被引量:420