Occam语言的时态语义

A TEMPORAL SEMANTICS FOR OCCAM
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [9]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。

    Abstract:

    A compositional temporal semantics is given for a subset of Occam language. Local environments, local stores, and local channel states are introduced to form a true concurrency model. In the semantics various properties of distributed processes can be discussed.

    参考文献
    [1] C.A.R.Hoare,"Communicating Sequential Processes",CACM.Vol.21.No.8,PP.666—667,1978,
    [2] INMOS Ltd..Occam Progamming Manual.Prentice—Hall International.1984.
    [3] 周巢尘。“结构式时态语义”。计算机应用与软件.第1卷.第1期.第2期,1984.
    [4] ZhouChaochen,"A Temporal Semantics of Communicating Processes".Proc.ofPPCC—I.Sept.1985,Australia.
    [5] H.Barringer.R.Kuiper &A.Pnueli,"A Compositional Temporal Approach to a CSP-like Language".Formal Models in Programming. E.J.Neuhold & G.Chroust(Editors).Elscricr Scicnce Publishers, B.V(North—Holland)。IFIP.1985.
    [6] A.W.Roscoe."Denotational Semantics for Occam",Seminar on Concurrency,Springer Vcrlag LNCS 197,1985.
    [7] E.D.Dijkstra,A Discipline of Programming.Prentice-Hall International.1976.
    [8] G.Jones.Programming in Occam.Prentice-Hall International,1987.
    [9] Z.Manna,"Verification of Sequential Programs:Tcmporai Axiomatization",Theoretical Foundations of Programming Methodology.D.Reidel Publishing Company.PP.53一102.l982.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

耿峻,谭新明. Occam语言的时态语义.软件学报,1990,1(2):12-27

复制
分享
文章指标
  • 点击次数:4249
  • 下载次数: 5071
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:1989-06-17
文章二维码
您是第19784169位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号