%PDF-1.7
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/OpenAction 3 0 R
/Outlines 4 0 R
/PageLabels 5 0 R
/PageLayout /SinglePage
/PageMode /UseThumbs
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author (Jean Goubault-Larrecq)
/CreationDate (D:20141027083653+02'00')
/Creator (Elsevier)
/ElsevierWebPDFSpecifications (6.4)
/ModDate (D:20141027083653+02'00')
/Producer (VTeX PDF Formatter 1.0 \(Windows\))
/Subject <456C656374726F6E6963204E6F74657320696E205468656F7265746963616C20436F6D707574657220536369656E63652C203330382028323031342920313637853138322E2031302E313031362F6A2E656E7463732E323031342E31302E303130>
/Title (QRB, QFS, and the Probabilistic Powerdomain)
/Trapped /False
/doi (10.1016/j.entcs.2014.10.010)
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6200
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2014.10.010
QRB, QFS, and the Probabilistic Powerdomain
Jean Goubault-Larrecq
Achim Jung
QRB-spaces
QFS-spaces
QRB-domains
QFS-domains
stably compact spaces
probabilistic powerdomain
Electronic Notes in Theoretical Computer Science, 308 (2014) 167–182. 10.1016/j.entcs.2014.10.010
Elsevier B.V.
journal
Electronic Notes in Theoretical Computer Science
Copyright ©2014 Elsevier B.V. All rights reserved.
1571-0661
308
167-182
167
182
10.1016/j.entcs.2014.10.010
http://dx.doi.org/10.1016/j.entcs.2014.10.010
2014-10-29
29 October 2014
C
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX)
6.4
10.1016/j.entcs.2014.10.010
noindex
Elsevier
2014-10-27T08:36:53+02:00
2014-10-27T08:36:53+02:00
2014-10-27T08:36:53+02:00
True
VTeX PDF Formatter 1.0 (Windows)
False
uuid:6f08cc73-adfe-4990-8b9d-b8b5b91e90f7
uuid:1c0321a1-d3f3-49e8-ade6-f0672b374271
endstream
endobj
3 0 obj
<<
/D [8 0 R /FitH 689]
/S /GoTo
>>
endobj
4 0 obj
<<
/Count 7
/First 9 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
5 0 obj
<<
/Nums [0 11 0 R]
>>
endobj
6 0 obj
<<
/Count 17
/Kids [12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Annots [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R
24 0 R 25 0 R 26 0 R 27 0 R]
/Contents [28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R]
/CropBox [8.50394 8.50394 476.22 688.819]
/MediaBox [0.0 0.0 484.724 697.323]
/Parent 12 0 R
/Resources <<
/ExtGState <<
/GS0 36 0 R
/GS1 37 0 R
/GS2 38 0 R
>>
/Font <<
/T1_0 39 0 R
/T1_1 40 0 R
/T1_10 41 0 R
/T1_11 42 0 R
/T1_2 43 0 R
/T1_3 44 0 R
/T1_4 45 0 R
/T1_5 46 0 R
/T1_6 47 0 R
/T1_7 48 0 R
/T1_8 49 0 R
/T1_9 50 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/Properties <<
/MC0 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2014.10.010)
>>
/MC1 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2014.10.010)
>>
>>
/XObject <<
/Im0 51 0 R
/Im1 52 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
9 0 obj
<<
/A 53 0 R
/Next 54 0 R
/Parent 4 0 R
/Title (Introduction)
>>
endobj
10 0 obj
<<
/A 55 0 R
/Parent 4 0 R
/Prev 56 0 R
/Title (References)
>>
endobj
11 0 obj
<<
/S /D
/St 167
>>
endobj
12 0 obj
<<
/Count 11
/Kids [57 0 R 8 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R
66 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/A 73 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [306.798 489.889 313.57 499.941]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/A 74 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [314.323 489.889 321.096 499.941]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A 75 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [273.873 423.342 280.646 433.395]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A 76 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [281.399 423.342 288.172 433.395]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A 77 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [291.273 181.102 303.802 189.865]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A 78 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [187.134 154.445 199.664 163.208]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A 79 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [55.5638 141.117 68.0935 149.879]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A 80 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [419.306 141.117 431.837 149.879]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:goubault@lsv.ens-cachan.fr)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.9142 98.8348 196.77 111.104]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:A.Jung@cs.bham.ac.uk)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.9142 88.501 172.096 100.77]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A 81 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [336.562 579.68 436.538 588.608]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A 82 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [116.743 590.697 345.151 599.625]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A 83 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [53.8583 67.7048 198.978 76.6328]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A 84 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [222.735 634.457 306.303 643.833]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/Length 745
/Filter /FlateDecode
>>
stream
HTN@}W-e~$RqL*v@z)"ų9g̲`$ed'](cL P+Z9*SD+I
ךd[xy5ۋbiuxyV^/W%fϫuUfgH=6$TdI6)",EɫzIfUDJю67 8`ge^CL'vo}|mY<`XQ oj&r#JA20dZQ F=Qȣx Dp7BAu
2b&)bvc4jid _|Y
.R4bU:WՔ;AbFyEx8 3V.GXexF7¨bK}1D(jQ=^WAXCiՔ+QB7<vzhrjzPD
jt=*?t|{;ݓ(\j|(4-VWYݨmeʩN˶̪vSUrr
vz>-pNa:GY ԉBpu%$g!0!XGC DpA\傗T?%)Ԃ
q.̻͋ޗ 8̏Bo #JTA)$+ 5|ۯX0cFTu
WOUB
G_Sj]Nn % V
endstream
endobj
29 0 obj
<<
/Length 767
/Filter /FlateDecode
>>
stream
HlTK0W bNn @qY6$X!7RKytcg{f