connecting algebraic and logical descriptions of concurrent systems

	connecting algebraic and logical descriptions of concurrent systems
	Zhan Naijun
	2007
会议名称	2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
会议录名称	Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
页码	383-391
会议日期	40848
会议地点	Paphos, Cyprus
收录类别	EI
出版地	United States
ISBN	769530710
部门归属	(1) Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
摘要	Algebraical approach and logical approach are two different methodologies for designing concurrent systems. In this paper, we show some connections between these two approaches. On one hand, we relate a set of primitives of process algebras which exactly
关键词	Formal Methods Temporal Logic
主办者	EASST (European Association of Software Science and Technology); University of Cyprus; ATHK/CYTA (Cyprus Telecom-munications Authority); ARTIST 2 Network of Excellence; University of Dortmund; et. al.
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10948
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhan Naijun. connecting algebraic and logical descriptions of concurrent systems[C]. United States,2007:383-391.