%PDF-1.3
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/Producer (PDFlib PLOP 2.1.0 \(sunOS\)/Acrobat Distiller 3.02 \(via http://big.faceless.org/products/pdf?version=work-20090717T1753\))
/ModDate (D:20220413175207+00'00')
/Author (WILLIAM FERREIRA, MATTHEW HENNESSY, ALAN JEFFREY)
/Title (A theory of weak bisimulation for Core CML)
/CreationDate ()
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 45
/Kids [5 0 R 6 0 R 7 0 R 8 0 R 9 0 R]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 1857
>>
stream
WILLIAM FERREIRA, MATTHEW HENNESSY, ALAN JEFFREY
2010-11-15T22:48:30Z
A theory of weak bisimulation for Core CML
application/pdf
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796898003165
https://doi.org/10.1017/S0956796898003165 Published online by Cambridge University Press
2010-11-15T22:48:30+00:00
2022-04-13T17:52:07+00:00
PDFlib PLOP 2.1.0 (sunOS)/Acrobat Distiller 3.02 (via http://big.faceless.org/products/pdf?version=work-20090717T1753)
endstream
endobj
5 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R]
>>
endobj
6 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R]
>>
endobj
7 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R]
>>
endobj
8 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R]
>>
endobj
9 0 obj
<<
/Type /Pages
/Count 5
/Parent 2 0 R
/Kids [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R]
>>
endobj
10 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 55 0 R
/Contents [56 0 R 57 0 R 58 0 R]
/Thumb 59 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [60 0 R]
>>
endobj
11 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 61 0 R
/Contents [62 0 R 63 0 R 64 0 R]
/Thumb 65 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [66 0 R]
>>
endobj
12 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 67 0 R
/Contents [68 0 R 69 0 R 70 0 R]
/Thumb 71 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [72 0 R]
>>
endobj
13 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 73 0 R
/Contents [74 0 R 75 0 R 76 0 R]
/Thumb 77 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [78 0 R]
>>
endobj
14 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 79 0 R
/Contents [80 0 R 81 0 R 82 0 R]
/Thumb 83 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [84 0 R]
>>
endobj
15 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 85 0 R
/Contents [86 0 R 87 0 R 88 0 R]
/Thumb 89 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [90 0 R]
>>
endobj
16 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 91 0 R
/Contents [92 0 R 93 0 R 94 0 R]
/Thumb 95 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [96 0 R]
>>
endobj
17 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 97 0 R
/Contents [98 0 R 99 0 R 100 0 R]
/Thumb 101 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [102 0 R]
>>
endobj
18 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 103 0 R
/Contents [104 0 R 105 0 R 106 0 R]
/Thumb 107 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [108 0 R]
>>
endobj
19 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 109 0 R
/Contents [110 0 R 111 0 R 112 0 R]
/Thumb 113 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [114 0 R]
>>
endobj
20 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 115 0 R
/Contents [116 0 R 117 0 R 118 0 R]
/Thumb 119 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [120 0 R]
>>
endobj
21 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 121 0 R
/Contents [122 0 R 123 0 R 124 0 R]
/Thumb 125 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [126 0 R]
>>
endobj
22 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 127 0 R
/Contents [128 0 R 129 0 R 130 0 R]
/Thumb 131 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [132 0 R]
>>
endobj
23 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 133 0 R
/Contents [134 0 R 135 0 R 136 0 R]
/Thumb 137 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [138 0 R]
>>
endobj
24 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 139 0 R
/Contents [140 0 R 141 0 R 142 0 R]
/Thumb 143 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [144 0 R]
>>
endobj
25 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 145 0 R
/Contents [146 0 R 147 0 R 148 0 R]
/Thumb 149 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [150 0 R]
>>
endobj
26 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 151 0 R
/Contents [152 0 R 153 0 R 154 0 R]
/Thumb 155 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [156 0 R]
>>
endobj
27 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 157 0 R
/Contents [158 0 R 159 0 R 160 0 R]
/Thumb 161 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [162 0 R]
>>
endobj
28 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 163 0 R
/Contents [164 0 R 165 0 R 166 0 R]
/Thumb 167 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [168 0 R]
>>
endobj
29 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 169 0 R
/Contents [170 0 R 171 0 R 172 0 R]
/Thumb 173 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [174 0 R]
>>
endobj
30 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 175 0 R
/Contents [176 0 R 177 0 R 178 0 R]
/Thumb 179 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [180 0 R]
>>
endobj
31 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 181 0 R
/Contents [182 0 R 183 0 R 184 0 R]
/Thumb 185 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [186 0 R]
>>
endobj
32 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 187 0 R
/Contents [188 0 R 189 0 R 190 0 R]
/Thumb 191 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [192 0 R]
>>
endobj
33 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 193 0 R
/Contents [194 0 R 195 0 R 196 0 R]
/Thumb 197 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [198 0 R]
>>
endobj
34 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 199 0 R
/Contents [200 0 R 201 0 R 202 0 R]
/Thumb 203 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [204 0 R]
>>
endobj
35 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 205 0 R
/Contents [206 0 R 207 0 R 208 0 R]
/Thumb 209 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [210 0 R]
>>
endobj
36 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 211 0 R
/Contents [212 0 R 213 0 R 214 0 R]
/Thumb 215 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [216 0 R]
>>
endobj
37 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 217 0 R
/Contents [218 0 R 219 0 R 220 0 R]
/Thumb 221 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [222 0 R]
>>
endobj
38 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 223 0 R
/Contents [224 0 R 225 0 R 226 0 R]
/Thumb 227 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [228 0 R]
>>
endobj
39 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 229 0 R
/Contents [230 0 R 231 0 R 232 0 R]
/Thumb 233 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [234 0 R]
>>
endobj
40 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 235 0 R
/Contents [236 0 R 237 0 R 238 0 R]
/Thumb 239 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [240 0 R]
>>
endobj
41 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 241 0 R
/Contents [242 0 R 243 0 R 244 0 R]
/Thumb 245 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [246 0 R]
>>
endobj
42 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 247 0 R
/Contents [248 0 R 249 0 R 250 0 R]
/Thumb 251 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [252 0 R]
>>
endobj
43 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 253 0 R
/Contents [254 0 R 255 0 R 256 0 R]
/Thumb 257 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [258 0 R]
>>
endobj
44 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 259 0 R
/Contents [260 0 R 261 0 R 262 0 R]
/Thumb 263 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [264 0 R]
>>
endobj
45 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 265 0 R
/Contents [266 0 R 267 0 R 268 0 R]
/Thumb 269 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [270 0 R]
>>
endobj
46 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 271 0 R
/Contents [272 0 R 273 0 R 274 0 R]
/Thumb 275 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [276 0 R]
>>
endobj
47 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 277 0 R
/Contents [278 0 R 279 0 R 280 0 R]
/Thumb 281 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [282 0 R]
>>
endobj
48 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 283 0 R
/Contents [284 0 R 285 0 R 286 0 R]
/Thumb 287 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [288 0 R]
>>
endobj
49 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 289 0 R
/Contents [290 0 R 291 0 R 292 0 R]
/Thumb 293 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [294 0 R]
>>
endobj
50 0 obj
<<
/Type /Page
/Parent 9 0 R
/Resources 295 0 R
/Contents [296 0 R 297 0 R 298 0 R]
/Thumb 299 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [300 0 R]
>>
endobj
51 0 obj
<<
/Type /Page
/Parent 9 0 R
/Resources 301 0 R
/Contents [302 0 R 303 0 R 304 0 R]
/Thumb 305 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [306 0 R]
>>
endobj
52 0 obj
<<
/Type /Page
/Parent 9 0 R
/Resources 307 0 R
/Contents [308 0 R 309 0 R 310 0 R]
/Thumb 311 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [312 0 R]
>>
endobj
53 0 obj
<<
/Type /Page
/Parent 9 0 R
/Resources 313 0 R
/Contents [314 0 R 315 0 R 316 0 R]
/Thumb 317 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [318 0 R]
>>
endobj
54 0 obj
<<
/Type /Page
/Parent 9 0 R
/Resources 319 0 R
/Contents [320 0 R 321 0 R 322 0 R]
/Thumb 323 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [324 0 R]
>>
endobj
55 0 obj
<<
/ProcSet [/PDF /Text]
/Font <<
/F1 325 0 R
/F2 326 0 R
/F3 327 0 R
/F4 328 0 R
/F5 329 0 R
/F6 330 0 R
>>
/ExtGState <<
/GS1 331 0 R
>>
>>
endobj
56 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
57 0 obj
<<
/Length 3785
/Filter /LZWDecode
>>
stream
P1B
h \9!:! F