位置：成果数据库 > 期刊 > 期刊详情页
On the Semantics of Markov Automata
  • ISSN号：1007-1172
  • 期刊名称：Journal of Shanghai Jiaotong University (Science)
  • 时间：2011.11.10
  • 页码：479-484
  • 相关项目：M-可解性、M-计算复杂性与计算机科学的模型理论
作者： Weizhong Yang|Yuxin Deng|
同期刊论文项目
M-可解性、M-计算复杂性与计算机科学的模型理论
期刊论文 26 会议论文 51 获奖 5 著作 1
同项目期刊论文
弱偏伪度量空间的完备和双完备
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Netwo
Algebraic Data Retrieval Algorithms for Multi-Channel Wireless Data Broadcast
A Constant-Factor Approximation for d-Hop Connected Dominating Sets in Unit Disk Graph
Performance Analysis for Approximating MCDS in Wireless Ad-Hoc Network
Symbolic Bisimulation for Quantum Processes
Data-Driven Metaphor Recognition and Explanation
How faithfully can pi be interpreted in SA?
An Interpretation of Erlang into Value-passing Calculus
Process passing calculus, revisited
Real-Reward Testing for Probabilistic Processes
Compositional reasoning for weighted Markov decision processes
The Value-Passing Calculus
<span style="font-family:&quot;Arial&quot;,sans-serif;font-size:10.5pt;">Rel
<span style="color: black; font-family:;" calibri",sans-serif;font-size:11pt;"
How faithfully can &pi; be interpreted in SA?
The lambda-calculus in the pi-calculus
Consistency, optimality, and incompleteness
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"=""
A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Networks
期刊信息
  • 《上海交通大学学报：英文版》
  • 主管单位:国家教育部
  • 主办单位:上海交通大学
  • 主编：郑杭
  • 地址：上海市华山路1954号
  • 邮编：200030
  • 邮箱：xuebao3373@stju.edu.cn
  • 电话：021-62933373 62932534
  • 国际标准刊号：ISSN：1007-1172
  • 国内统一刊号：ISSN：31-1943/U
  • 邮发代号:4-635
  • 获奖情况:
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库
  • 被引量:420