QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 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 action refinement  real-time process algebra  semantics  timed event structure  formal method   Real Time Process Algebra with Urgency Executing Policy 期刊论文 2015, 2015 Wenbo Chen; Guang Zheng; Lian Li; Jinzhao Wu 收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19 process algebra  executing policy  real time  urgency   Action Refinement for Real-Time Concurrent Processes with Urgency 期刊论文 2015, 2015 Guangping Qin; Jinzhao Wu 收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19 Action refinement  timed event structure  real-time process algebra  urgency   Real time process algebra with urgency executing policy 期刊论文 Journal of Software, 2009, 卷号: 4, 期号: 1, 页码: 34-41 作者:  Chen, Wenbo;  Zheng, Guang;  Li, Lian;  Wu, Jinzhao 收藏  |  浏览/下载：1/0  |  提交时间：2016/07/15 Executing policy  In process  Process algebra  Real time  Real-time process algebras  Urgency   Stochastic extension for real time process algebra with urgency executing policy 会议论文 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009, Wuhan, China, December 11, 2009 - December 13, 2009 作者:  Li, Xifu;  Zheng, Guang;  Li, Lian;  Wu, Jinzhao;  Chen, Wenbo 收藏  |  浏览/下载：2/0  |  提交时间：2017/01/18 Real time systems  Algebra  Artificial intelligence  Computer software  Interactive computer systems  Random processes  Stochastic systems  Exponential distributions  Process algebras  Real time  Real-time process algebra  Stochastic process algebras