← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/2000/shumsky/slides2_files/slide0010.htm

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/2000/shumsky/slides2_files/slide0010.htm
 
1
<html xmlns:v="urn:schemas-microsoft-com:vml"
 
2
xmlns:o="urn:schemas-microsoft-com:office:office"
 
3
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
 
4
xmlns="http://www.w3.org/TR/REC-html40">
 
5
 
 
6
<head>
 
7
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
 
8
<meta name=ProgId content=PowerPoint.Slide>
 
9
<meta name=Generator content="Microsoft PowerPoint 9">
 
10
<link id=Main-File rel=Main-File href="../slides2.htm">
 
11
<link rel=Preview href=preview.wmf>
 
12
<!--[if !mso]>
 
13
<style>
 
14
v\:* {behavior:url(#default#VML);}
 
15
o\:* {behavior:url(#default#VML);}
 
16
p\:* {behavior:url(#default#VML);}
 
17
.shape {behavior:url(#default#VML);}
 
18
v\:textbox {display:none;}
 
19
</style>
 
20
<![endif]-->
 
21
<title>Developing a Framework for Simulation, Verification and Testing of SDL
 
22
Specifications</title>
 
23
<meta name=Description content="3-Nov-00: Process Simulator">
 
24
<link rel=Stylesheet href="master03_stylesheet.css">
 
25
<![if !ppt]>
 
26
<style media=print>
 
27
<!--.sld
 
28
        {left:0px !important;
 
29
        width:6.0in !important;
 
30
        height:4.5in !important;
 
31
        font-size:107% !important;}
 
32
-->
 
33
</style>
 
34
<script src=script.js></script><script><!--
 
35
gId="slide0010.htm"
 
36
if( !IsNts() ) Redirect( "PPTSld", gId );
 
37
//-->
 
38
</script><!--[if vml]><script>g_vml = 1;
 
39
</script><![endif]--><script for=window event=onload><!--
 
40
if( !IsSldOrNts() ) return;
 
41
if( MakeNotesVis() ) return;
 
42
LoadSld( gId );
 
43
MakeSldVis(0);
 
44
//-->
 
45
</script><![endif]><o:shapelayout v:ext="edit">
 
46
 <o:idmap v:ext="edit" data="11"/>
 
47
</o:shapelayout>
 
48
</head>
 
49
 
 
50
<body lang=EN-US style='margin:0px;background-color:white'
 
51
onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
 
52
 
 
53
<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
 
54
width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
 
55
visibility:hidden'><p:slide coordsize="720,540"
 
56
 colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
 
57
 masterhref="master03.xml">
 
58
 <p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
 
59
  href="master03.xml#_x0000_s1028"/><p:shaperange
 
60
  href="master03.xml#_x0000_s1029"/><![endif]><p:shaperange
 
61
  href="master03.xml#_x0000_m1026"/><v:shape id="_x0000_s11266" type="#_x0000_m1026"
 
62
  style='position:absolute;left:54pt;top:12pt;width:612pt;height:60pt'>
 
63
  <v:fill o:detectmouseclick="f"/>
 
64
  <v:stroke o:forcedash="f"/>
 
65
  <o:lock v:ext="edit" text="f"/>
 
66
  <v:textbox style='mso-fit-shape-to-text:t'/>
 
67
  <p:placeholder type="title"/></v:shape><p:shaperange
 
68
  href="master03.xml#_x0000_m1027"/><v:shape id="_x0000_s11267" type="#_x0000_m1027"
 
69
  style='position:absolute;left:24pt;top:1in;width:666pt;height:40.875pt'>
 
70
  <v:fill o:detectmouseclick="f"/>
 
71
  <v:stroke o:forcedash="f"/>
 
72
  <o:lock v:ext="edit" text="f"/>
 
73
  <v:textbox style='mso-fit-shape-to-text:t'/>
 
74
  <p:placeholder type="body" position="1"/></v:shape><v:rect id="_x0000_s11358"
 
75
  style='position:absolute;left:18pt;top:306pt;width:666pt;height:219.5pt'
 
76
  filled="f" fillcolor="#0c9 [4]" stroked="f" strokecolor="black [1]">
 
77
  <v:fill color2="white [0]"/>
 
78
  <v:shadow color="gray [2]"/>
 
79
  <v:textbox style='mso-fit-shape-to-text:t'/>
 
80
 </v:rect><v:group id="_x0000_s11410" style='position:absolute;left:42pt;top:132pt;
 
81
  width:630pt;height:169.375pt' coordorigin="384,1104" coordsize="5040,1355"
 
82
  o:tableproperties="1" o:tablelimits="24pt 32.875pt 28pt 23.625pt 27.875pt 27.875pt">
 
83
  <v:rect id="_x0000_s11361" style='position:absolute;left:4752;top:2236;
 
84
   width:672;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
85
   strokecolor="black [1]">
 
86
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
87
   <v:shadow color="gray [2]"/>
 
88
  </v:rect><v:rect id="_x0000_s11362" style='position:absolute;left:2352;top:2236;
 
89
   width:2400;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
90
   strokecolor="black [1]">
 
91
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
92
   <v:shadow color="gray [2]"/>
 
93
  </v:rect><v:rect id="_x0000_s11363" style='position:absolute;left:1824;top:2236;
 
94
   width:528;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
95
   strokecolor="black [1]">
 
96
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
97
   <v:shadow color="gray [2]"/>
 
98
  </v:rect><v:rect id="_x0000_s11364" style='position:absolute;left:384;top:2236;
 
99
   width:1440;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
100
   strokecolor="black [1]">
 
101
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
102
   <v:shadow color="gray [2]"/>
 
103
  </v:rect><v:rect id="_x0000_s11365" style='position:absolute;left:4752;top:2013;
 
104
   width:672;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
105
   strokecolor="black [1]">
 
106
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
107
   <v:shadow color="gray [2]"/>
 
108
  </v:rect><v:rect id="_x0000_s11366" style='position:absolute;left:2352;top:2013;
 
109
   width:2400;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
110
   strokecolor="black [1]">
 
111
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
112
   <v:shadow color="gray [2]"/>
 
113
  </v:rect><v:rect id="_x0000_s11367" style='position:absolute;left:1824;top:2013;
 
114
   width:528;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
115
   strokecolor="black [1]">
 
116
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
117
   <v:shadow color="gray [2]"/>
 
118
  </v:rect><v:rect id="_x0000_s11368" style='position:absolute;left:384;top:2013;
 
119
   width:1440;height:223' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
120
   strokecolor="black [1]">
 
121
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
122
   <v:shadow color="gray [2]"/>
 
123
  </v:rect><v:rect id="_x0000_s11369" style='position:absolute;left:4752;top:1802;
 
124
   width:672;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
125
   strokecolor="black [1]">
 
126
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
127
   <v:shadow color="gray [2]"/>
 
128
  </v:rect><v:rect id="_x0000_s11370" style='position:absolute;left:2352;top:1802;
 
129
   width:2400;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
130
   strokecolor="black [1]">
 
131
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
132
   <v:shadow color="gray [2]"/>
 
133
  </v:rect><v:rect id="_x0000_s11371" style='position:absolute;left:1824;top:1802;
 
134
   width:528;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
135
   strokecolor="black [1]">
 
136
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
137
   <v:shadow color="gray [2]"/>
 
138
  </v:rect><v:rect id="_x0000_s11372" style='position:absolute;left:384;top:1802;
 
139
   width:1440;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
140
   strokecolor="black [1]">
 
141
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
142
   <v:shadow color="gray [2]"/>
 
143
  </v:rect><v:rect id="_x0000_s11373" style='position:absolute;left:4752;top:1578;
 
144
   width:672;height:224' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
145
   strokecolor="black [1]">
 
146
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
147
   <v:shadow color="gray [2]"/>
 
148
  </v:rect><v:rect id="_x0000_s11374" style='position:absolute;left:2352;top:1578;
 
149
   width:2400;height:224' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
150
   strokecolor="black [1]">
 
151
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
152
   <v:shadow color="gray [2]"/>
 
153
  </v:rect><v:rect id="_x0000_s11375" style='position:absolute;left:1824;top:1578;
 
154
   width:528;height:224' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
155
   strokecolor="black [1]">
 
156
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
157
   <v:shadow color="gray [2]"/>
 
158
  </v:rect><v:rect id="_x0000_s11376" style='position:absolute;left:384;top:1578;
 
159
   width:1440;height:224' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
160
   strokecolor="black [1]">
 
161
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
162
   <v:shadow color="gray [2]"/>
 
163
  </v:rect><v:rect id="_x0000_s11377" style='position:absolute;left:4752;top:1315;
 
164
   width:672;height:263' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
165
   strokecolor="black [1]">
 
166
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
167
   <v:shadow color="gray [2]"/>
 
168
  </v:rect><v:rect id="_x0000_s11378" style='position:absolute;left:2352;top:1315;
 
169
   width:2400;height:263' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
170
   strokecolor="black [1]">
 
171
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
172
   <v:shadow color="gray [2]"/>
 
173
  </v:rect><v:rect id="_x0000_s11379" style='position:absolute;left:1824;top:1315;
 
174
   width:528;height:263' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
175
   strokecolor="black [1]">
 
176
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
177
   <v:shadow color="gray [2]"/>
 
178
  </v:rect><v:rect id="_x0000_s11380" style='position:absolute;left:384;top:1315;
 
179
   width:1440;height:263' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
180
   strokecolor="black [1]">
 
181
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
182
   <v:shadow color="gray [2]"/>
 
183
  </v:rect><v:rect id="_x0000_s11381" style='position:absolute;left:4752;top:1104;
 
184
   width:672;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
185
   strokecolor="black [1]">
 
186
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
187
   <v:shadow color="gray [2]"/>
 
188
  </v:rect><v:rect id="_x0000_s11382" style='position:absolute;left:2352;top:1104;
 
189
   width:2400;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
190
   strokecolor="black [1]">
 
191
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
192
   <v:shadow color="gray [2]"/>
 
193
  </v:rect><v:rect id="_x0000_s11383" style='position:absolute;left:1824;top:1104;
 
194
   width:528;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
195
   strokecolor="black [1]">
 
196
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
197
   <v:shadow color="gray [2]"/>
 
198
  </v:rect><v:rect id="_x0000_s11384" style='position:absolute;left:384;top:1104;
 
199
   width:1440;height:211' filled="f" fillcolor="#0c9 [4]" stroked="f"
 
200
   strokecolor="black [1]">
 
201
   <v:fill color2="white [0]" alignshape="f" o:detectmouseclick="t"/>
 
202
   <v:shadow color="gray [2]"/>
 
203
  </v:rect><v:line id="_x0000_s11385" style='position:absolute' from="384,1104"
 
204
   to="5424,1104" strokecolor="black [1]" strokeweight="2.25pt">
 
205
   <v:stroke endcap="square" imagealignshape="f"/>
 
206
   <v:shadow color="gray [2]"/>
 
207
  </v:line><v:line id="_x0000_s11386" style='position:absolute' from="384,1315"
 
208
   to="5424,1315" strokecolor="black [1]" strokeweight="1pt">
 
209
   <v:stroke imagealignshape="f"/>
 
210
   <v:shadow color="gray [2]"/>
 
211
  </v:line><v:line id="_x0000_s11387" style='position:absolute' from="384,1578"
 
212
   to="5424,1578" strokecolor="black [1]" strokeweight="1pt">
 
213
   <v:stroke imagealignshape="f"/>
 
214
   <v:shadow color="gray [2]"/>
 
215
  </v:line><v:line id="_x0000_s11388" style='position:absolute' from="384,1802"
 
216
   to="5424,1802" strokecolor="black [1]" strokeweight="1pt">
 
217
   <v:stroke imagealignshape="f"/>
 
218
   <v:shadow color="gray [2]"/>
 
219
  </v:line><v:line id="_x0000_s11389" style='position:absolute' from="384,2013"
 
220
   to="5424,2013" strokecolor="black [1]" strokeweight="1pt">
 
221
   <v:stroke imagealignshape="f"/>
 
222
   <v:shadow color="gray [2]"/>
 
223
  </v:line><v:line id="_x0000_s11390" style='position:absolute' from="384,2236"
 
224
   to="5424,2236" strokecolor="black [1]" strokeweight="1pt">
 
225
   <v:stroke imagealignshape="f"/>
 
226
   <v:shadow color="gray [2]"/>
 
227
  </v:line><v:line id="_x0000_s11391" style='position:absolute' from="384,2459"
 
228
   to="5424,2459" strokecolor="black [1]" strokeweight="2.25pt">
 
229
   <v:stroke endcap="square" imagealignshape="f"/>
 
230
   <v:shadow color="gray [2]"/>
 
231
  </v:line><v:line id="_x0000_s11392" style='position:absolute' from="384,1104"
 
232
   to="384,2459" strokecolor="black [1]" strokeweight="2.25pt">
 
233
   <v:stroke endcap="square" imagealignshape="f"/>
 
234
   <v:shadow color="gray [2]"/>
 
235
  </v:line><v:line id="_x0000_s11393" style='position:absolute' from="1824,1104"
 
236
   to="1824,2459" strokecolor="black [1]" strokeweight="1pt">
 
237
   <v:stroke imagealignshape="f"/>
 
238
   <v:shadow color="gray [2]"/>
 
239
  </v:line><v:line id="_x0000_s11394" style='position:absolute' from="2352,1104"
 
240
   to="2352,2459" strokecolor="black [1]" strokeweight="1pt">
 
241
   <v:stroke imagealignshape="f"/>
 
242
   <v:shadow color="gray [2]"/>
 
243
  </v:line><v:line id="_x0000_s11395" style='position:absolute' from="4752,1104"
 
244
   to="4752,2459" strokecolor="black [1]" strokeweight="1pt">
 
245
   <v:stroke imagealignshape="f"/>
 
246
   <v:shadow color="gray [2]"/>
 
247
  </v:line><v:line id="_x0000_s11396" style='position:absolute' from="5424,1104"
 
248
   to="5424,2459" strokecolor="black [1]" strokeweight="2.25pt">
 
249
   <v:stroke endcap="square" imagealignshape="f"/>
 
250
   <v:shadow color="gray [2]"/>
 
251
  </v:line></v:group><![if !vml]><img border=0
 
252
 v:shapes="_x0000_s11410,_x0000_s11361,_x0000_s11362,_x0000_s11363,_x0000_s11364,_x0000_s11365,_x0000_s11366,_x0000_s11367,_x0000_s11368,_x0000_s11369,_x0000_s11370,_x0000_s11371,_x0000_s11372,_x0000_s11373,_x0000_s11374,_x0000_s11375,_x0000_s11376,_x0000_s11377,_x0000_s11378,_x0000_s11379,_x0000_s11380,_x0000_s11381,_x0000_s11382,_x0000_s11383,_x0000_s11384,_x0000_s11385,_x0000_s11386,_x0000_s11387,_x0000_s11388,_x0000_s11389,_x0000_s11390,_x0000_s11391,_x0000_s11392,_x0000_s11393,_x0000_s11394,_x0000_s11395,_x0000_s11396"
 
253
 src="slide0010_image016.gif" style='position:absolute;top:24.0%;left:5.61%;
 
254
 width:88.38%;height:32.5%'><![endif]>
 
255
 <div v:shape="_x0000_s11266" class=T style='position:absolute;top:2.75%;
 
256
 left:8.42%;width:83.14%;height:10.0%'>Process Simulator</div>
 
257
 <div v:shape="_x0000_s11267" class=B style='position:absolute;top:14.0%;
 
258
 left:4.3%;width:90.63%;height:6.5%'><span style='position:absolute;top:0%;
 
259
 left:4.13%;width:95.86%'><span style='font-size:88%'><span style='mso-special-format:
 
260
 bullet;position:absolute;left:-4.31%'>�</span></span><span style='font-size:
 
261
 88%'>Receiver Process Simulation</span></span></div>
 
262
 <div v:shape="_x0000_s11358">
 
263
 <div class=O2 style='mso-margin-left-alt:720'></div>
 
264
 <div class=O3 style='mso-margin-left-alt:1008'></div>
 
265
 <div class=O4 style='mso-margin-left-alt:1296'></div>
 
266
 <div class=O style='mso-line-spacing:"100 20 0";mso-margin-left-alt:216;
 
267
 position:absolute;top:57.25%;left:3.55%;width:90.63%;height:6.5%'><span
 
268
 style='position:absolute;top:0%;left:4.13%;width:95.86%'><span
 
269
 style='font-family:Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'><span
 
270
 style='mso-special-format:bullet;position:absolute;left:-4.31%'>�</span></span><span
 
271
 style='font-family:Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'>Simulator
 
272
 functions defined for: &#13;</span></span></div>
 
273
 <div class=O1 style='mso-line-spacing:"100 20 0";mso-margin-left-alt:468'><span
 
274
 style='position:absolute;top:64.75%;left:8.42%;width:95.5%'><span
 
275
 style='font-family:Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'><span
 
276
 style="mso-spacerun: yes">� </span></span><span style='font-family:Tahoma;
 
277
 color:#3333CC;mso-color-index:5'>signal input and output, assignment, updating
 
278
 state, </span></span><span style='position:absolute;top:71.0%;left:11.61%;
 
279
 width:84.45%'><span style='font-family:Tahoma;color:#3333CC;mso-color-index:
 
280
 5'>decision, process creation, procedure call, timer </span></span><span
 
281
 style='position:absolute;top:76.25%;left:11.61%;width:82.58%'><span
 
282
 style='font-family:Tahoma;color:#3333CC;mso-color-index:5'>operations, stop,
 
283
 and goto&#13;</span></span></div>
 
284
 <div class=O style='mso-line-spacing:"100 20 0";mso-margin-left-alt:216;
 
285
 position:absolute;top:83.0%;left:3.55%;width:98.5%;height:6.5%'><span
 
286
 style='position:absolute;top:0%;left:3.8%;width:96.19%'><span
 
287
 style='font-family:Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'><span
 
288
 style='mso-special-format:bullet;position:absolute;left:-3.95%'>�</span></span><span
 
289
 style='font-family:Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'>Correctness:
 
290
 simulating each action preserves &#13;</span></span></div>
 
291
 <div class=O style='mso-line-spacing:"100 20 0";mso-margin-left-alt:216;
 
292
 position:absolute;top:90.25%;left:3.55%;width:90.63%;height:6.75%'><span
 
293
 style='font-family:"Courier New";color:#3333CC;mso-color-index:5'><b><span
 
294
 style='mso-tab-count:1;width:4.13%'> </span></b></span><span style='font-family:
 
295
 "Courier New";color:#5F5F5F'><b>wf-instance</b></span><span style='font-family:
 
296
 Tahoma;font-size:117%;color:#3333CC;mso-color-index:5'> property</span></div>
 
297
 </div>
 
298
 <div v:shape="_x0000_s11361">
 
299
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
300
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
301
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
302
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
303
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
304
 top:51.25%;left:82.58%;width:9.73%;height:3.75%'><span style='font-size:57%'>nil</span></div>
 
305
 </div>
 
306
 <div v:shape="_x0000_s11362">
 
307
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
308
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
309
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
310
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
311
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
312
 top:51.25%;left:39.51%;width:42.69%;height:3.75%'><span style='font-size:57%'>(ackid
 
313
 . 0) (frameid . 0) (sender . 2)</span></div>
 
314
 </div>
 
315
 <div v:shape="_x0000_s11363">
 
316
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
317
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
318
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
319
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
320
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
321
 top:51.25%;left:31.27%;width:8.61%;height:3.75%'><span style='font-size:57%'>waiting</span></div>
 
322
 </div>
 
323
 <div v:shape="_x0000_s11364">
 
324
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
325
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
326
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
327
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
328
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
329
 top:51.25%;left:5.99%;width:24.9%;height:3.75%'><span style='font-size:57%'>Transition
 
330
 completed</span></div>
 
331
 </div>
 
332
 <div v:shape="_x0000_s11365">
 
333
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
334
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
335
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
336
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
337
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
338
 top:46.25%;left:82.58%;width:9.73%;height:3.75%'><span style='font-size:57%'>nil</span></div>
 
339
 </div>
 
340
 <div v:shape="_x0000_s11366">
 
341
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
342
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
343
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
344
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
345
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
346
 top:46.25%;left:39.13%;width:43.63%;height:3.75%'><span style='font-size:57%'>(ackid
 
347
 . -1) (frameid . 0) (sender . 2)</span></div>
 
348
 </div>
 
349
 <div v:shape="_x0000_s11367">
 
350
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
351
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
352
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
353
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
354
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
355
 top:46.25%;left:31.27%;width:8.61%;height:3.75%'><span style='font-size:57%'>waiting</span></div>
 
356
 </div>
 
357
 <div v:shape="_x0000_s11368">
 
358
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
359
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
360
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
361
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
362
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
363
 top:46.25%;left:6.92%;width:23.22%;height:3.75%'><span style='font-size:57%'>Signal
 
364
 consumed</span></div>
 
365
 </div>
 
366
 <div v:shape="_x0000_s11369">
 
367
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
368
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
369
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
370
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
371
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
372
 top:41.25%;left:82.02%;width:11.04%;height:3.75%'><span style='font-size:57%'>Frame(0)</span></div>
 
373
 </div>
 
374
 <div v:shape="_x0000_s11370">
 
375
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
376
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
377
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
378
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
379
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
380
 top:41.25%;left:37.82%;width:46.06%;height:3.75%'><span style='font-size:57%'>(ackid
 
381
 . -1) (frameid . nil) (sender . nil)</span></div>
 
382
 </div>
 
383
 <div v:shape="_x0000_s11371">
 
384
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
385
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
386
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
387
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
388
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
389
 top:41.25%;left:31.27%;width:8.61%;height:3.75%'><span style='font-size:57%'>waiting</span></div>
 
390
 </div>
 
391
 <div v:shape="_x0000_s11372">
 
392
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
393
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
394
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
395
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
396
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
397
 top:41.25%;left:5.05%;width:26.96%;height:3.75%'><span style='font-size:57%'>Signal
 
398
 arrives in queue</span></div>
 
399
 </div>
 
400
 <div v:shape="_x0000_s11373">
 
401
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
402
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
403
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
404
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
405
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
406
 top:36.0%;left:82.58%;width:9.73%;height:3.75%'><span style='font-size:57%'>nil</span></div>
 
407
 </div>
 
408
 <div v:shape="_x0000_s11374">
 
409
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
410
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
411
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
412
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
413
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
414
 top:36.0%;left:37.82%;width:46.06%;height:3.75%'><span style='font-size:57%'>(ackid
 
415
 . -1) (frameid . nil) (sender . nil)</span></div>
 
416
 </div>
 
417
 <div v:shape="_x0000_s11375">
 
418
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
419
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
420
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
421
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
422
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
423
 top:36.0%;left:31.27%;width:8.61%;height:3.75%'><span style='font-size:57%'>waiting</span></div>
 
424
 </div>
 
425
 <div v:shape="_x0000_s11376">
 
426
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
427
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
428
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
429
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
430
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
431
 top:36.0%;left:6.92%;width:23.22%;height:3.75%'><span style='font-size:57%'>After
 
432
 initialization</span></div>
 
433
 </div>
 
434
 <div v:shape="_x0000_s11377">
 
435
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
436
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
437
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
438
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
439
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
440
 top:30.0%;left:82.58%;width:9.73%;height:3.75%'><span style='font-size:57%'>nil</span></div>
 
441
 </div>
 
442
 <div v:shape="_x0000_s11378">
 
443
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
444
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
445
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
446
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
447
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
448
 top:30.0%;left:37.82%;width:46.44%;height:3.75%'><span style='font-size:57%'>(ackid
 
449
 . nil) (frameid . nil) (sender . nil)</span></div>
 
450
 </div>
 
451
 <div v:shape="_x0000_s11379">
 
452
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
453
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
454
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
455
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
456
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
457
 top:30.0%;left:31.83%;width:7.3%;height:3.75%'><span style='font-size:57%'>start
 
458
 </span></div>
 
459
 </div>
 
460
 <div v:shape="_x0000_s11380">
 
461
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
462
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
463
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
464
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
465
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
466
 top:30.0%;left:6.92%;width:23.22%;height:3.75%'><span style='font-size:57%'>After
 
467
 instantiation</span></div>
 
468
 </div>
 
469
 <div v:shape="_x0000_s11381">
 
470
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
471
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
472
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
473
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
474
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
475
 top:25.0%;left:82.58%;width:9.73%;height:3.75%'><span style='font-size:57%'>queue</span></div>
 
476
 </div>
 
477
 <div v:shape="_x0000_s11382">
 
478
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
479
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
480
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
481
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
482
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
483
 top:25.0%;left:41.01%;width:39.88%;height:3.75%'><span style='font-size:57%'>Memory</span></div>
 
484
 </div>
 
485
 <div v:shape="_x0000_s11383">
 
486
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
487
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
488
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
489
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
490
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
491
 top:25.0%;left:31.83%;width:7.3%;height:3.75%'><span style='font-size:57%'>state</span></div>
 
492
 </div>
 
493
 <div v:shape="_x0000_s11384">
 
494
 <div class=Tbl1 style='mso-margin-left-alt:288'></div>
 
495
 <div class=Tbl2 style='mso-margin-left-alt:576'></div>
 
496
 <div class=Tbl3 style='mso-margin-left-alt:864'></div>
 
497
 <div class=Tbl4 style='mso-margin-left-alt:1152'></div>
 
498
 <div class=Tbl style='text-align:center;mso-margin-left-alt:0;position:absolute;
 
499
 top:25.0%;left:6.92%;width:23.22%;height:3.75%'><span style='font-size:57%'>action</span></div>
 
500
 </div>
 
501
</p:slide></div>
 
502
 
 
503
</body>
 
504
 
 
505
</html>