Verification of Sequential and Concurrent Programs - Softcover

Inhaltsangabe

1 Introduction.- 2 Preliminaries.- 3 Deterministic Programs.- 4 Disjoint Parallel Programs.- 5 Parallel Programs with Shared Variables.- 6 Parallel Programs with Synchronization.- 7 Nondeterministic Programs.- 8 Distributed Programs.- 9 Fairness.- References.- Author Index.- Symbol Index.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.