compositionality of fixpoint logic with chop

ISCAS OpenIR

	compositionality of fixpoint logic with chop
	Zhan NJ; Wu JZ
	2005
会议名称	2nd International Colloquium on Theoretical Aspects of Computing
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	136-150
会议日期	OCT 17-21,
会议地点	Hanoi, VIETNAM
收录类别	sci ; istp ; ei ; springer
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005
ISSN	0302-9743
ISBN	3-540-29107-5
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China. Univ Mannheim, Lehrstuhl Prakt Informat 2, Fak Math & Informat, D-68163 Mannheim, Germany.
摘要	Compositionality plays an important role in designing reactive systems as it allows one to compose/decompose a complex system from/to several simpler components. Generally speaking, it is hard to design a complex system in a logical frame in a
关键词	Flc Compositionality Verification Bisimulation Characteristic Formula Basic Process Algebra
主办者	United Nations Univ, Int Inst Software Technol, Vietnam Natl Univ, Vietnam Acad Sci & Technol
语种	英语
WOS记录号	WOS:000233420900009
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12660
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhan NJ,Wu JZ. compositionality of fixpoint logic with chop[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005,2005:136-150.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
compositionality of （518KB）			开放获取	--	请求全文