Amazon cover image
Image from Amazon.com

On concurrent programming / Fred B. Schneider.

By: Series: Graduate texts in computer sciencePublication details: Berlin ; New York : Springer, c1997.Description: xix, 473 p. ; 25 cmISBN:
  • 0387949429 (hardcover : alk. paper)
Subject(s): DDC classification:
  • 005.2/75 21
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Book Open Access Book Open Access Natural Resources and Environmental Sciences Library 005.2/75SCH (Browse shelf(Opens below)) 1 Available 00010769

Table of Contents

1. Introduction 1-6

2. Formal Logics 9-49

3. Temporal Logic 55-83

4. Notation and Logic for Sequential Programming 91- 123

5. Concurrency and Interference 135-168

6. Safety Properties: Invariance 175-198

7. Safety properties with Past Terms 205-230

8. Verifying Arbitrary Temporal Logic Properties 139-277

9. Programming with Fine- Grained Atomic Actions 337- 416

10. Semaphores, Locks, and Conditional Critical Regions 337-370

11. Message Passing and Distributed Programming 377-416

12. Putting it Together 427-434

References 435

Index 451




Includes bibliographical references (p. [435]-449) and index.

There are no comments on this title.

to post a comment.