有哪些信誉好的足球投注网站- 1、本文档共40页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
A theory of communicating sequential processes-英文文献
A Theory of CommunicatingSequential Processes
S. D. BROOKES
Carnegw-Mellon Umversity,Pittsburgh,Pennsylvania
AND
C. A. R. HOARE AND A. W. ROSCOE
Oxford UmversttyProgrammmgResearch Group, Oxford,England
Abstract. A mathematical model for communicating sequential processesis given, and a number of
its interestingand usefulproperties are stated and proved. The possibilitiesof nondetermimsm are fully
taken into account.
Categories and Subject Descriptors: D.3.1 [ProgrammingLanguages]: Formal Definitions and The-
ory--semantics; syntar, D.3.2 [ProgrammingLanguages]: Language Classifications;D.3.3 [Program-
ming Languages]: LanguageConstructs--concurrentprogramming structures; F.3.2 [Logics and Mean-
ings of Programs]: Semanticsof ProgrammingLanguages--denotattonalsemantics
General Terms: Theory
Additional Key Words and Phrases: Communicating sequential processes, synchrony, asynchrony,
nondeterminism, parallehsm, deadlock, safety,liveness
1. Introduction
In the last decade there has been a remarkable growth in general understanding of
the design and definition of computer programming languages. This understanding
has been based upon a recognition that the text of each program expressed in the
language should be given a mathematically defined meaning or denotation, in the
same way as any other notational system of logic or mathematics. For a conven-
tional sequential programming language, the simplest mathematical domain suit-
able for this purpose is the space of partial functions that maps from an abstract
machine state before execution of a c o m m a n d to the state of the machine afterward.
For a programming language with jumps, the appropriate mathematical domain is
slightly more complicated, involvin
您可能关注的文档
- A Long-Memory Property of Stock Market Returns and a New Model-英文文献.pdf
- A message ferrying approach for data delivery in sparse mobile ad hoc networks-英文文献.pdf
- A learning algorithm for Boltzmann machines-英文文献.pdf
- A Meta-Analytic Review of Experiments Examining the Effects of Extrinsic Rewards on Intrinsic Motivation-英文文献.pdf
- A Model of Saliency-based Visual Attention for Rapid Scene Analysis-英文文献.pdf
- A New Extension of the Kalman Filter to Nonlinear Systems-英文文献.pdf
- A New Kind of Science-英文文献.pdf
- A Morphable Model For The Synthesis Of 3D Faces-英文文献.pdf
- A new learning algorithm for blind signal separation-英文文献.pdf
- A new mathematical model for relative quantification in real-time RT-PCR. Nucleic Acids Res-英文文献.pdf
- A taxonomy and evaluation of dense two-frame stereo correspondence algorithms-英文文献.pdf
- A theory of timed automata-英文文献.pdf
- A Threshold of ln n for Approximating Set Cover-英文文献.pdf
- A tutorial on support vector machines for pattern recognition-英文文献.pdf
- A Transformation System for Developing Recursive Programs-英文文献.pdf
- A unified theory of underreaction, momentum trading and overreaction in asset markets-英文文献.pdf
- Abduction in Logic Programming-英文文献.pdf
- A Volumetric Method for Building Complex Models from Range Images-英文文献.pdf
- A training algorithm for optimal margin classifiers-英文文献.pdf
- A Tutorial on Visual Servo Control-英文文献.pdf
文档评论（0）