Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Ernst-Rüdiger Olderog Textbook 19972nd edition Springer Science+Busin

Harrison

书目名称Verification of Sequential and Concurrent Programs影响因子(影响力)




书目名称Verification of Sequential and Concurrent Programs影响因子(影响力)学科排名




书目名称Verification of Sequential and Concurrent Programs网络公开度




书目名称Verification of Sequential and Concurrent Programs网络公开度学科排名




书目名称Verification of Sequential and Concurrent Programs被引频次




书目名称Verification of Sequential and Concurrent Programs被引频次学科排名




书目名称Verification of Sequential and Concurrent Programs年度引用




书目名称Verification of Sequential and Concurrent Programs年度引用学科排名




书目名称Verification of Sequential and Concurrent Programs读者反馈




书目名称Verification of Sequential and Concurrent Programs读者反馈学科排名

moratorium

BLANC

Disjoint Parallel Programs,tages. In this part of the book we study parallel programs, and in this chapter we investigate disjoint parallelism, the simplest form of parallelism. Disjointness means here that the component programs have only reading access to common variables.

overture

Parallel Programs with Shared Variables,ommon database, a line printer or a data bus. Sharing is necessary when resources are too costly to have one copy for each component, as in the case of a large database. Sharing is also useful to establish communication between different components, as in the case of a data bus. This form of concurr

rheumatology

华而不实

Distributed Programs,rom time to time by explicit message passing. Such systems are called .. An example is an airline reservation system consisting of a large number of terminals in many different travel agencies and a central database for keeping the current status of all flights. Here the database and the terminals a

Kaleidoscope

Fairness,a of “true parallelism,” where every component of a parallel program progresses with unknown, but positive speed. In other words, every component eventually executes its next enabled atomic instruction.

agonist

Textbook 19972nd editiontems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach - so named because it relies on the use of assertions that are attach

朋党派系

ablate

Parallel Programs with Synchronization, variables in such a way that a certain condition is fulfilled To formulate such waiting conditions we extend the program syntax of Section 6.1 by a synchronization construct, the .-statementintroduced in Owicki and Gries [1976a].