A discipline of multiprogramming programming theory for distributed applications
Develops a programming model that addresses the fundamental issues of 'large-scale programming'. This title includes an approach that unifies several concepts from database theory, object-oriented programming and designs of reactive systems.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Springer
c2001
|
| Series: | Monographs in computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 7822 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218052532.0 | ||
| 008 | 150727 2001 nyua bi 000 0 eng d | ||
| 020 | |a 0387952063 | ||
| 039 | 9 | |a 201507271621 |b azraai |y 200910081450 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA 76.6 |b .M528 2001 | ||
| 100 | 1 | |a Misra, Jayadev | |
| 245 | 1 | 2 | |a A discipline of multiprogramming |b programming theory for distributed applications |c Jayadev Misra |
| 260 | |a New York |b Springer |c c2001 | ||
| 300 | |a xviii, 420 p. |b ill. |c 24 cm | ||
| 490 | 1 | |a Monographs in computer science | |
| 504 | |a Includes bibliographical references and index | ||
| 505 | 0 | |a 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. | |
| 520 | |a Develops a programming model that addresses the fundamental issues of 'large-scale programming'. This title includes an approach that unifies several concepts from database theory, object-oriented programming and designs of reactive systems. | ||
| 650 | 0 | |a Multiprogramming (Electronic computers) | |
| 830 | 0 | |a Monographs in computer science | |
| 999 | |a vtls000007858 |c 7822 |d 7822 | ||