Skip to main content
SpringerLink
Log in
Book cover

On a Method of Multiprogramming

  • Book
  • © 1999

Overview

Authors:
  1. W. H. J. Feijen

    1. Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. A. J. M. Gasteren

    1. Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (32 chapters)

  1. Front Matter

    Pages i-xx
    Download chapter PDF

  2. On Our Computational Model

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 1-5

  3. Our Program Notation and Its Semantics

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 7-22

  4. The Core of the Owicki/Gries Theory

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 23-33

  5. Two Disturbing Divergences

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 35-39

  6. Bridling the Complexity

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 41-53

  7. Co-assertions and Strengthening the Annotation

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 55-60

  8. Three Theorems and Two Examples

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 61-74

  9. Synchronization and Total Deadlock

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 75-88

  10. Individual Progress and the Multibound

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 89-96

  11. Concurrent Vector Writing: A First Exercise in Program Development

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 97-110

  12. More Theorems and More Examples

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 111-121

  13. The Yellow Pages

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 123-151

  14. The Safe Sluice: A Synthesis Emerging

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 153-161

  15. Peterson’s Two-Component Mutual Exclusion Algorithm

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 163-169

  16. Re-inventing a Great Idea

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 171-176

  17. On Handshake Protocols

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 177-186

  18. Phase Synchronization for Two Machines

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 187-199

  19. The Parallel Linear Search

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 201-206

  20. The Initialization Protocol

    • W. H. J. Feijen, A. J. M. van Gasteren
    Pages 207-217
Back to top

Keywords

About this book

Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book.

Authors and Affiliations

  • Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    W. H. J. Feijen, A. J. M. Gasteren

Bibliographic Information

  • Book Title: On a Method of Multiprogramming

  • Authors: W. H. J. Feijen, A. J. M. Gasteren

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4757-3126-2

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York 1999

  • Hardcover ISBN: 978-0-387-98870-2Published: 11 June 1999

  • Softcover ISBN: 978-1-4419-3179-5Published: 01 December 2010

  • eBook ISBN: 978-1-4757-3126-2Published: 29 June 2013

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: XX, 370

  • Topics: Programming Techniques, Software Engineering, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation