deriving non-determinism from conjunction and disjunction

ISCAS OpenIR

	deriving non-determinism from conjunction and disjunction
	Zhan NJ; Majster-Cederbaum M
	2005
会议名称	25th International Conference on Formal Techniques for Networked and Distributed Systems
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	351-365
会议日期	OCT 02-05,
会议地点	Taipei, TAIWAN
收录类别	sci ; istp ; ei
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
ISSN	0302-9743
ISBN	3-540-29189-X
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. Univ Mannheim, Fak Math & Informat, Lehrstuhl Prakt Informat 2, D-68163 Mannheim, Germany.
摘要	In this paper, we show that the non-deterministic choice "+", which was proposed as a primitive operator in Synchronization Tree Logic (STL for short) can be defined essentially by conjunction and disjunction in the mu-calculus (mu M for short
关键词	Non-determinism Synchronization Tree Logic Mu-calculus Process Algebra
主办者	IFIP Working Grp 6 1
语种	英语
WOS记录号	WOS:000233597000026
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12658
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhan NJ,Majster-Cederbaum M. deriving non-determinism from conjunction and disjunction[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,2005:351-365.

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