Titlebook: On Concurrent Programming; Fred B. Schneider Textbook 1997 Springer Science+Business Media New York 1997 Logic Pro.communication.concurren

撕成碎片

书目名称On Concurrent Programming影响因子(影响力)




书目名称On Concurrent Programming影响因子(影响力)学科排名




书目名称On Concurrent Programming网络公开度




书目名称On Concurrent Programming网络公开度学科排名




书目名称On Concurrent Programming被引频次




书目名称On Concurrent Programming被引频次学科排名




书目名称On Concurrent Programming年度引用




书目名称On Concurrent Programming年度引用学科排名




书目名称On Concurrent Programming读者反馈




书目名称On Concurrent Programming读者反馈学科排名

小步舞

Graduated

978-1-4612-7303-5Springer Science+Business Media New York 1997

过于平凡

On Concurrent Programming978-1-4612-1830-2Series ISSN 1868-0941 Series E-ISSN 1868-095X

malign

Formal Logic,ments of logic and show how logic can be used to formalize safety and liveness. Our study of logic is done from the programmer’s viewpoint, not the logician’s. For us, logic is simply a tool. However, as with most tools, it must be understood to be used effectively.

最小

运气

Notation and Logic for Sequential Programming, a sequential programming notation and a logic for reasoning about programs written in the notation. The logic is obtained by extending Predicate Logic with a new type of formula, the proof outline. We also present a calculus to aid in deriving a proof outline along with a program.

开头

发炎

Safety Properties with Past Terms, reason about such safety properties. We show that by extending Predicate Logic, the techniques of Chapter 6 can be used for reasoning about arbitrary safety properties. The chapter also discusses the design of programs satisfying arbitrary safety properties and the role of auxiliary variables in reasoning about programs.

chronology

Programming with Fine-Grained Atomic Actions,ramming notation. A typical computer can execute only a small, fixed set of unconditional atomic actions; an operating system might add to this a few conditional atomic actions. Thus, there is a gap between the programming model we have been assuming and what is available on an actual computer system.