# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate sections original text with physical files.

$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%design.html%:%Thoughts on the structure of an MPJ reference implementation.' unless ($section_info{$key}); 
$done{"design.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%Contents' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node2.html%:%Introduction' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node3.html%:%This report' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:%Some design decisions' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node4.html%:%Acknowledgements' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node6.html%:%Overview of the Architecture' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node7.html%:%Process creation and monitoring' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node8.html%:%The MPJ daemon' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node13.html%:%Sketch of a ``Device-Level'' API for MPJ' unless ($section_info{$key}); 
$done{"node13.html"} = 1;
$key = q/0 0 0 5 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node9.html%:%The MPJ slave' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node14.html%:%Minimal API' unless ($section_info{$key}); 
$done{"node14.html"} = 1;
$key = q/0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node18.html%:%References' unless ($section_info{$key}); 
$done{"node18.html"} = 1;
$key = q/0 0 0 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node10.html%:%The MPJ client' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 0 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node15.html%:%Implementation notes' unless ($section_info{$key}); 
$done{"node15.html"} = 1;
$key = q/0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node19.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node19.html"} = 1;
$key = q/0 0 0 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node11.html%:%Handling MPJ aborts--Jini events' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 0 6 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node16.html%:%Eager send protocol' unless ($section_info{$key}); 
$done{"node16.html"} = 1;
$key = q/0 0 0 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node12.html%:%Other failures--Jini leasing' unless ($section_info{$key}); 
$done{"node12.html"} = 1;
$key = q/0 0 0 6 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node17.html%:%Rendezvous protocol' unless ($section_info{$key}); 
$done{"node17.html"} = 1;

1;

