搜索筛选:
搜索耗时3.9597秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：周巢尘,,
来源：计算机学报 年份：1983
在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为分布式程序的功能描述;在发展这个语言的公理...
[期刊论文] 作者：周巢尘,
来源：开放导报 年份：1999
...
[期刊论文] 作者：周巢尘,
来源：Journal of Computer Science and Technology 年份：1998
TheDurationCalculus(abbreviatedDC)representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic,andusestherealnumberstomodeltime,andBoolea...
[期刊论文] 作者：周巢尘,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1985
本文讨论文献[1—4]中未曾研究的通信进程的非确定性现象,给出了通信进程的一种非确定性的操作语义(Operational Semantics)及与此一致的通信进程的完全正确性演算。...
[期刊论文] 作者：周巢尘,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1984
本文讨论进程的同步和异步通信机制。刻划进程及其通信的程序设计语言已有多种,为不失一般性,文中采用一种抽象模型。在这个模型中,一个进程就是一个前节封闭的通信序列集。以通道名作为自由变元的谓词被用来作为描述进程行为的不变式,称作通道不变式。 文中导......
[期刊论文] 作者：周巢尘,
来源：计算机应用与软件 年份：1984
本文定义了程序语言的一种结构武时态语义,即将程序语言中的语句解释为时态逻辑中的公式,并使这种解释保持语言的结构。本文的续篇名为“程序推理”,将讨论在这种语义基础上的程序推理问题。......
[期刊论文] 作者：周巢尘,
来源：计算机应用与软件 年份：1984
前文“结构式时态语义”中定义了程序语言的一种时态语义,这种语义是语法引导的(Syntax Directed),保持语言的结构。本文中讨论在这种语义基础上的程序推理问题。因为这是时态语义,故在程序描述中可使用时态逻辑的丰富的表达力;又因为它是结构式的,故关于各种语......
[期刊论文] 作者：周巢尘,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1989
本文建立一种描述通信系统外部行为的时态逻辑。该逻辑的基本谓词为INT,PASS和CLD,记录通信通道的瞬时状态,即打算通信,或正传递消息,或通道关闭。并引入辅助变元,将通道状态汇总为系统状态。从而使各类安全性、活性和公平性均能确切表述。使用这一逻辑进行描述......
[期刊论文] 作者：周巢尘,柳欣欣,,
来源：Journal of Computer Science and Technology 年份：1990
This is a sequel of [1] to give a temporal semantics to a full version of CSP, including hiding operator andnested parallelism. The semantic definition is of d...
[期刊论文] 作者：李晓山,周巢尘,
来源：计算机学报 年份：1994
时段演算是用于嵌入式实时软件系统设计的演算系统。本文概述了该演算系统，其中包括时段演算，扩充时段演算，平均值演算和概率时段演算，它们都是区间时态逻辑的扩展，可用于处理数学......
[期刊论文] 作者：陈宗基,俞新尧,王戟,周巢尘,
来源：计算机学报 年份：1996
混合控制系统是指那些由实时产了系统和实时数值反馈子系统组成的系统，这类系统的特点是事件变量和时间变量的演化在不同系统内并行，实时地进行，本文基于对混合控制系统以往研究......
相关搜索：
