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影響因子(影響力)學(xué)科排名




書目名稱On Concurrent Programming網(wǎng)絡(luò)公開度




書目名稱On Concurrent Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱On Concurrent Programming被引頻次




書目名稱On Concurrent Programming被引頻次學(xué)科排名




書目名稱On Concurrent Programming年度引用




書目名稱On Concurrent Programming年度引用學(xué)科排名




書目名稱On Concurrent Programming讀者反饋




書目名稱On Concurrent Programming讀者反饋學(xué)科排名

小步舞

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.

開頭

發(fā)炎

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.