时间符号迁移图及其互模拟判定

中国科学院软件研究所机构知识库


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In

题名:	时间符号迁移图及其互模拟判定
其他题名:	timed bisimulation over timed symbolic transition graph
作者:	陈靖 ; 林惠民
关键词:	并发 ; 实时系统 ; 数据传送 ; 互模拟 ; 时间符号迁移图 concurrency ; real-time system ; value-passing ; bisimulation ; timed symbolic transition graph
刊名:	计算机学报
发表日期:	2002
卷:	25, 期:2, 页:113-121
收录类别:	ei,wanfang,cscd
部门归属:	计算机科学国家重点实验室
资助者:	National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
摘要:	引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。
语种:	中文
内容类型:	期刊论文
URI标识:	http://ir.iscas.ac.cn/handle/311060/4460
Appears in Collections:	计算机科学国家重点实验室 _期刊论文

Files in This Item:

File Name/ File Size	Content Type	Version	Access	License
5.pdf（460KB）	--	--	限制开放	--	联系获取全文

Recommended Citation:

陈靖,林惠民. 时间符号迁移图及其互模拟判定[J]. 计算机学报,2002-01-01,25(2):113-121.

Service
	Recommend this item
	Sava as my favorate item
	Show this item's statistics
	Export Endnote File
Google Scholar
	Similar articles in Google Scholar
	[陈靖]'s Articles
	[林惠民]'s Articles
CSDL cross search
	Similar articles in CSDL Cross Search
	[陈靖]‘s Articles
	[林惠民]‘s Articles
Related Copyright Policies
Null
Social Bookmarking

所有评论 (0)

暂无评论

评注功能仅针对注册用户开放，请您登录

您对该条目有什么异议，请填写以下表单，管理员会尽快联系您。
内容：
Email：	*
单位：
验证码：	刷新

您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标题：	*
内容：
Email：	*
验证码：	刷新


	Copyright © 2007-2018 中国科学院软件研究所 - Feedback Powered by CSpace