Distributed Operating Systems: Theory and PracticeYakup Paker, Jean-Pierre Banatre, Muslim Bozyigit Proceedings of the NATO Advanced Study Institute on Distributed Operating Systems: Theory and Practice held at Altinyunus, Cesme, Turkey, August 18-29, 1986 |
Contents
Contents | 14 |
Specification | 43 |
On the Construction of Distributed Programs | 47 |
Copyright | |
12 other sections not shown
Other editions - View all
Distributed Operating Systems: Theory and Practice Yakup Paker,Jean-Pierre Banatre,Muslim Bozyigit Limited preview - 2012 |
Distributed Operating Systems Yakup Paker,Jean-Pierre Banatre,Muslim Bozyigit No preview available - 1987 |
Common terms and phrases
abstract actor algorithm allows Apollo DOMAIN application architecture assembly language assertion atomic action behavior buyer-site C.A.R. Hoare cache Camelot channel CHORUS clock components computer networks configuration Conic Database defined described disk DISTRIBUTED COMPUTING SYSTEM distributed file system Distributed Operating Systems distributed systems distributed transaction dynamic ECSP entryport environment example file system global halting axiom hardware higher-level implementation integer interaction interconnection kernel local area networks logical station lower-level manager mapping mechanisms memory multi-function naming server nested node object onfail parallel command performance Pipe and Procedure Polybus Polyp system pool port predicate priority Proc processing-steps processor cluster programming language properties protocol provides queue recovery remote procedure call request segment seller-site semantics specification storage structure Syncbus synchronization temporal logic termination timestamp transition axiom UNIX update variables worm