A Discipline of Multiprogramming

Programming Theory for Distributed Applications

  • Jayadev Misra

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

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Jayadev Misra
    Pages 1-12
  3. Jayadev Misra
    Pages 13-37
  4. Jayadev Misra
    Pages 39-56
  5. Jayadev Misra
    Pages 57-89
  6. Jayadev Misra
    Pages 91-154
  7. Jayadev Misra
    Pages 155-213
  8. Jayadev Misra
    Pages 215-233
  9. Jayadev Misra
    Pages 235-280
  10. Jayadev Misra
    Pages 281-314
  11. Jayadev Misra
    Pages 315-337
  12. Jayadev Misra
    Pages 339-359
  13. Jayadev Misra
    Pages 361-385
  14. Back Matter
    Pages 387-420

About this book


In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution.


Inform Simula algorithms computer concurrency database design logic object oriented design object-oriented programming optimization programming simulation

Authors and affiliations

  • Jayadev Misra
    • 1
  1. 1.Department of Computer SciencesUniversity of TexasAustinUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York, Inc. 2001
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-6427-9
  • Online ISBN 978-1-4419-8528-6
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site