|
已选(0)清除
条数/页： 排序方式：
|
| Refinement of actions for real-time concurrent systems with causal ambiguity 期刊论文
2015, 2015
Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
  收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement 期刊论文
2015, 2015
Xiu-Li Sun; Wen-Yin Zhang; Jin-Zhao Wu
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| Towards action refinement for true concurrent real time 期刊论文
2015, 2015
Mila Majster-Cederbaum; Jinzhao Wu
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Action Refinement for Real-Time Concurrent Processes with Urgency 期刊论文
2015, 2015
Guangping Qin; Jinzhao Wu
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/19
|
| Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt 期刊论文
2015, 2015
YUAN Hong; WU Jin-Zhao
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| on hierarchically developing reactive systems 期刊论文
INFORMATION AND COMPUTATION, 2010, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
收藏 | 浏览/下载：7/0 | 提交时间：2011/05/24
|
| A non-interleaving denotational semantics of value passing CCS with action refinement 会议论文
1st Annual International Workshop on Frontiers in Algorithmics, Lanzhou, PEOPLES R CHINA, 39307
作者: Zheng, GA; Lie, SR; Wu, JZ; Li, L
收藏 | 浏览/下载：1/0 | 提交时间：2017/01/18
|
| Crystal structure of the pig pancreatic alpha-amylase complexed with rho-nitrophenyl-alpha-D-maltoside-flexibility in the active site 期刊论文
蛋白质杂志, 2004
Zhuo, HY; Payan, F; Qian, MX
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/12
|
