已选(0)清除
条数/页: 排序方式:
|
| Refinement of actions for real-time concurrent systems with causal ambiguity 期刊论文 2015, 2015 Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载: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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2017/06/19
|
| Towards action refinement for true concurrent real time 期刊论文 2015, 2015 Mila Majster-Cederbaum; Jinzhao Wu
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2017/06/19
|
| Action Refinement for Real-Time Concurrent Processes with Urgency 期刊论文 2015, 2015 Guangping Qin; Jinzhao Wu
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2017/06/19
|
| Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt 期刊论文 2015, 2015 YUAN Hong; WU Jin-Zhao
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2017/06/19
|
| on hierarchically developing reactive systems 期刊论文 INFORMATION AND COMPUTATION, 2010, 卷号: 208, 期号: 9, 页码: 997-1019 Zhan Naijun; Majster-Cederbaum Mila
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载: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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载: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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/12
|