On Concurrent Programming

  • Fred B. Schneider

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

Table of contents

  1. Front Matter
    Pages i-xix
  2. Fred B. Schneider
    Pages 1-7
  3. Fred B. Schneider
    Pages 9-54
  4. Fred B. Schneider
    Pages 55-89
  5. Fred B. Schneider
    Pages 91-133
  6. Fred B. Schneider
    Pages 135-173
  7. Fred B. Schneider
    Pages 175-203
  8. Fred B. Schneider
    Pages 205-237
  9. Fred B. Schneider
    Pages 239-281
  10. Fred B. Schneider
    Pages 283-335
  11. Fred B. Schneider
    Pages 337-376
  12. Fred B. Schneider
    Pages 377-426
  13. Fred B. Schneider
    Pages 427-434
  14. Back Matter
    Pages 435-473

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.


Logic Pro communication concurrency concurrent programming configuration derivative distributed computing formal methods logic network networks predicate logic programming university variable

Authors and affiliations

  • Fred B. Schneider
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York, Inc. 1997
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-7303-5
  • Online ISBN 978-1-4612-1830-2
  • Series Print ISSN 1868-0941
  • Series Online ISSN 1868-095X
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods