Cover Image

A Discipline of Multiprogramming : Programming Theory for Distributed Applications /

Show other versions (1)

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 "Seu...

Full description

Bibliographic Details
Main Author: Misra, Jayadev
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York, 2001.
Series:Monographs in computer science.
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 1. A discipline of multiprogramming
  • 2. Action systems
  • 3. An object-oriented view of action systems
  • 4. Small examples
  • 5. Safety properties
  • 6. Progress properties
  • 7. Maximality properties
  • 8. Asynchronous compositions of programs
  • 9. Conditional, closure properties
  • 10. Reduction theorem
  • 11. Distributed implementation
  • 12. Logic of Seuss programs
  • 13. Epilog.