making timed automata communicate

ISCAS OpenIR

	making timed automata communicate
	Chen J; Lin HM
	2003
会议名称	10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technolog y (UNU/ISST)
页码	337-351
会议日期	MAR 18-20,
会议地点	Lisbon, PORTUGAL
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT
ISSN	0302-9743
ISBN	3-540-20527-6
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	A computation model is introduced in which real-time constraints as well as data communications can be explicitely expressed. The model is presented in a graphical form. Its semantics is studied and algorithms to compute bisimulation equivalen
关键词	Real-time Value-passing Timed Automata Timed Symbolic Transition Graph
主办者	UN Univ Int Inst Software Technol
语种	英语
WOS记录号	WOS:000189434300021
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13226
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Chen J,Lin HM. making timed automata communicate[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT,2003:337-351.