A discipline of multiprogramming : programming theory for distributed applications /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Misra, Jayadev
Formatua: Liburua
Hizkuntza:English
Argitaratua: New York : Springer, 2001.
Saila:Monographs in computer science.
Gaiak:
Aurkibidea:
  • 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. Program Composition
  • 9. Conditional and Closure Properties
  • 10. Reduction Theorem
  • 11. Distributed Implementation
  • 12. A Logic for Seuss.