%PDF-1.4
%
3 0 obj
<< /pgfprgb [/Pattern /DeviceRGB] >>
endobj
11 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
14 0 obj
(Introduction)
endobj
15 0 obj
<< /S /GoTo /D (Outline0.1.1.6) >>
endobj
18 0 obj
(Problem Statement)
endobj
19 0 obj
<< /S /GoTo /D (Outline0.1.2.25) >>
endobj
22 0 obj
(Motivating Example: Producer-Consumer-Observer)
endobj
23 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
26 0 obj
(Concurrency in S*)
endobj
27 0 obj
<< /S /GoTo /D (Outline0.2.1.26) >>
endobj
30 0 obj
(Approach)
endobj
31 0 obj
<< /S /GoTo /D (Outline0.2.2.29) >>
endobj
34 0 obj
(SC Thread Operators)
endobj
35 0 obj
<< /S /GoTo /D (Outline0.2.3.33) >>
endobj
38 0 obj
(Producer-Consumer-Observer Example)
endobj
39 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
42 0 obj
(Further S* Concepts)
endobj
43 0 obj
<< /S /GoTo /D (Outline0.3.1.41) >>
endobj
46 0 obj
(Preemptions)
endobj
47 0 obj
<< /S /GoTo /D (Outline0.3.2.46) >>
endobj
50 0 obj
(Thread Synchronization and Signals)
endobj
51 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
54 0 obj
(Wrap-Up)
endobj
55 0 obj
<< /S /GoTo /D (Outline0.4.1.54) >>
endobj
58 0 obj
(Related Work)
endobj
59 0 obj
<< /S /GoTo /D (Outline0.4.2.55) >>
endobj
62 0 obj
(Summary)
endobj
63 0 obj
<< /S /GoTo /D (Outline0.4.3.56) >>
endobj
66 0 obj
(Where This Might be Going)
endobj
67 0 obj
<< /S /GoTo /D (Outline1) >>
endobj
70 0 obj
(Appendix)
endobj
71 0 obj
<< /S /GoTo /D (Outline2) >>
endobj
74 0 obj
(Appendix)
endobj
75 0 obj
<< /S /GoTo /D (Outline2.5) >>
endobj
78 0 obj
(Background)
endobj
79 0 obj
<< /S /GoTo /D (Outline2.5.1.62) >>
endobj
82 0 obj
(Explaining the \(Original\) Title)
endobj
83 0 obj
<< /S /GoTo /D (Outline2.5.2.70) >>
endobj
86 0 obj
(Inspiration: Reactive Processing)
endobj
87 0 obj
<< /S /GoTo /D (Outline2.6) >>
endobj
90 0 obj
(Other SC Operators)
endobj
91 0 obj
<< /S /GoTo /D (Outline2.6.1.71) >>
endobj
94 0 obj
(The SC Signal Operators)
endobj
95 0 obj
<< /S /GoTo /D (Outline2.6.2.72) >>
endobj
98 0 obj
(Further Operators)
endobj
99 0 obj
<< /S /GoTo /D (Outline2.7) >>
endobj
102 0 obj
(Experimental Results)
endobj
103 0 obj
<< /S /GoTo /D (Outline2.8) >>
endobj
106 0 obj
(Related Work)
endobj
107 0 obj
<< /S /GoTo /D [108 0 R /Fit ] >>
endobj
146 0 obj <<
/Length 1489
/Filter /FlateDecode
>>
stream
xWMs6WV&xlOw&Xt2i
EGHCIvKz $'q6I=cX`ow%o %ONA2!DhyƸ&mE.N^)6}KoiCc<ОܒdaI cYruM'`B$
5*&㺠5)#"&pLbTY'2t?I`dF EQ.I#2V@rAhnjb4T}͌1a'NgE.
wziyf`HeOwwd6]jY3E~*b6=a^|
C$TK"*en
rK_fQ44`m$opψ܋?Daą;T%ؚ(ת
m ݂ˏO2V.! 8&7M9^F