中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Research on production process control method combined stochastic process algebra and stochastic Petri nets 会议论文 OAI收割 1st International Symposium on Digital Manufacture, Wuhan, China, October 15-17, 2006 作者: Liu C(刘昶); Shi HB(史海波) 收藏 \| 浏览/下载：20/0 \| 提交时间：2012/06/06 production process control stochastic process algebra stochastic Petri net hierarchical control
	extended symbolic transition graphs with assignment 会议论文 OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/28 concurrent systems process algebra value-passing symbolic transition graphs verification model checking bisimulation checking
	deriving non-determinism from conjunction and disjunction 会议论文 OAI收割 25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05, Zhan NJ; Majster-Cederbaum M \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28 non-determinism synchronization tree logic mu-calculus process algebra
	compositionality of fixpoint logic with chop 会议论文 OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Zhan NJ; Wu JZ \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/28 FLC compositionality verification bisimulation characteristic formula basic process algebra
	complete inference systems for weak bisimulation equivalences in the [pi]-calculus 期刊论文 OAI收割 Information and Computation, 2003, 卷号: 180, 期号: 1, 页码: 40207 Lin Huimin \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2010/08/11 mobile processes pi-calculus bisimulation symbolic bisimulation proof systems process algebra MOBILE PROCESSES
	传值进程模型检测中诊断信息的生成期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/24 进程代数模型检测证明图示例诊断生成 process algebra model checking proof graph witness diagnosis generation