Skip to main content
SpringerLink
Log in

On Concurrent Programming

  • Textbook
  • © 1997

Overview

Authors:
  1. Fred B. Schneider

    1. Department of Computer Science, Cornell University, Ithaca, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Texts in Computer Science (TCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Introduction

    • Fred B. Schneider
    Pages 1-7

  3. Formal Logic

    • Fred B. Schneider
    Pages 9-54

  4. Temporal Logic

    • Fred B. Schneider
    Pages 55-89

  5. Notation and Logic for Sequential Programming

    • Fred B. Schneider
    Pages 91-133

  6. Concurrency and Interference

    • Fred B. Schneider
    Pages 135-173

  7. Safety Properties: Invariance

    • Fred B. Schneider
    Pages 175-203

  8. Safety Properties with Past Terms

    • Fred B. Schneider
    Pages 205-237

  9. Verifying Arbitrary Temporal Logic Properties

    • Fred B. Schneider
    Pages 239-281

  10. Programming with Fine-Grained Atomic Actions

    • Fred B. Schneider
    Pages 283-335

  11. Semaphores, Locks, and Conditional Critical Regions

    • Fred B. Schneider
    Pages 337-376

  12. Message Passing and Distributed Programming

    • Fred B. Schneider
    Pages 377-426

  13. Putting It Together

    • Fred B. Schneider
    Pages 427-434

  14. Back Matter

    Pages 435-473
    Download chapter PDF
Back to top

Keywords

About this book

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject.

Authors and Affiliations

  • Department of Computer Science, Cornell University, Ithaca, USA

    Fred B. Schneider

Bibliographic Information

  • Book Title: On Concurrent Programming

  • Authors: Fred B. Schneider

  • Series Title: Texts in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4612-1830-2

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1997

  • Hardcover ISBN: 978-0-387-94942-0Published: 06 May 1997

  • Softcover ISBN: 978-1-4612-7303-5Published: 30 September 2012

  • eBook ISBN: 978-1-4612-1830-2Published: 06 December 2012

  • Series ISSN: 1868-0941

  • Series E-ISSN: 1868-095X

  • Edition Number: 1

  • Number of Pages: XIX, 473

  • Topics: Computer Systems Organization and Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation