|
" Discipline of multiprogramming : "
Jayadev Misra
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
725200
|
| Doc. No
|
:
|
b544919
|
| Main Entry
|
:
|
Jayadev Misra
|
| Title & Author
|
:
|
Discipline of multiprogramming : : programming theory for distributed applications.\ Jayadev Misra
|
| Publication Statement
|
:
|
[Place of publication not identified]: Springer, 2012
|
| ISBN
|
:
|
144198528X
|
|
|
:
|
: 9781441985286
|
| 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
|
| LC Classification
|
:
|
QA76.6J393 2012
|
| Added Entry
|
:
|
Jayadev Misra
|
| |