中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
时序逻辑语言XYZ/CC及其与CCS的比较研究
作者: 徐祗祥
答辩日期: 1990
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
摘要: 本文提出一种时序逻辑语言XYZ/CC,它可以用来描述并发和通信系统,也可以用来表示可执行的并发程序。既可表示基于共享变量的模型,也可表示基于通信的模型,同时它可以面向多种体系结构模型。它既是可执行的程序语言,又是时序逻辑的一个子集,作者认为可以用它来统一并发和通信的有关模型,把并发程序的描述、开发和验证都归结为逻辑问题。为了说明它的表示能力,我们对CCS作了一些研究,并探讨了用XYZ/CC构造CCS的语义模型,作者目前正在着手实现由CCS到XYZX/CC的转换系统。
英文摘要: The Paper proposes a temporal Logic language XYZ/CC for expressing Concurrency and Communication----both shared variable-based and message passing-based. It is also multi-architectures oriented. SISD, SIMD, MISD, and/or MIMD. It is both a specification and programing language and a temporal logic system, so we can design concurrent programs and their specification in the same framework and hence make it possible to reduce program development and verification to pure logic inference. For testing its expressiveness, we make a study on R. Milner's CCS (Calaulus for Communicating System) and present an executable semantic model of CCS in XYZ/CC. We hope to point out using temporal logic as a unified model for concurrency and communication is possible and feasible. We refer to [Z][X] for the discussion of verification.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/5652
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
N85519.pdf(1547KB)----限制开放-- 联系获取全文

Recommended Citation:
徐祗祥. 时序逻辑语言XYZ/CC及其与CCS的比较研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1990-01-01.
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
CSDL cross search
Similar articles in CSDL Cross Search
[徐祗祥]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace