%PDF-1.4
%
1 0 obj
<<
/PageMode /UseThumbs
/Outlines 2 0 R
/Metadata 3 0 R
/Pages 4 0 R
/PageLayout /SinglePage
/OpenAction 5 0 R
/Type /Catalog
/PageLabels 6 0 R
/OutputIntents [7 0 R]
>>
endobj
8 0 obj
<<
/CreationDate (D:20100611093305+03'00')
/Author (Dimitar P. Guelev; Dang Van Hung)
/Creator (Elsevier)
/Keywords (components; contracts; quality of service; duration calculus)
/Producer (VTeX PDF Formatter 1.0 \(Windows\))
/AuthoritativeDomain#5B1#5D (sciencedirect.com)
/AuthoritativeDomain#5B2#5D (elsevier.com)
/ModDate (D:20141001161220+05'30')
/Title (Reasoning about QoS Contracts in the Probabilistic Duration Calculus)
/Trapped /Unknown
>>
endobj
2 0 obj
<<
/First 9 0 R
/Count 8
/Last 10 0 R
/Type /Outlines
>>
endobj
3 0 obj
<<
/Length 6227
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2010.06.004
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Dimitar P. Guelev; Dang Van Hung
Elsevier B.V.
components
contracts
quality of service
duration calculus
journal
Electronic Notes in Theoretical Computer Science
Copyright © 2010 Published by Elsevier B.V. Open access under CC BY-NC-ND license.
1571-0661
238
6
41-62
41
62
10.1016/j.entcs.2010.06.004
http://dx.doi.org/10.1016/j.entcs.2010.06.004
2010-06-28
28 June 2010
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2008)
Elsevier
2010-06-11T09:33:05+03:00
2014-10-01T16:12:20+05:30
2014-10-01T16:12:20+05:30
True
VTeX PDF Formatter 1.0 (Windows)
Unknown
components; contracts; quality of service; duration calculus
uuid:6BA1DB0B2375DF1194A88FB421D3FC46
uuid:cc7eb7a7-b0eb-46d0-b9a6-6fac943877b2
sciencedirect.com
elsevier.com
endstream
endobj
4 0 obj
<<
/Count 22
/Type /Pages
/Kids [11 0 R 12 0 R 13 0 R]
>>
endobj
5 0 obj
<<
/D [14 0 R /FitH 680]
/S /GoTo
>>
endobj
6 0 obj
<<
/Nums [0 15 0 R]
>>
endobj
7 0 obj
<<
/Info (sRGB IEC61966-2.1)
/S /GTS_PDFA1
/OutputConditionIdentifier (sRGB IEC61966-2.1)
/DestOutputProfile 16 0 R
/Type /OutputIntent
>>
endobj
9 0 obj
<<
/Parent 2 0 R
/A 17 0 R
/Next 18 0 R
/Title (Preliminaries)
>>
endobj
10 0 obj
<<
/First 19 0 R
/Parent 2 0 R
/A 20 0 R
/Count -5
/Last 21 0 R
/Prev 22 0 R
/Title (Proof systems)
>>
endobj
11 0 obj
<<
/Parent 4 0 R
/Count 10
/Type /Pages
/Kids [14 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R]
>>
endobj
12 0 obj
<<
/Parent 4 0 R
/Count 10
/Type /Pages
/Kids [32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R]
>>
endobj
13 0 obj
<<
/Parent 4 0 R
/Count 2
/Type /Pages
/Kids [42 0 R 43 0 R]
>>
endobj
14 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R]
/Parent 11 0 R
/Contents [54 0 R 55 0 R 56 0 R]
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 57 0 R
/Resources <<
/XObject <<
/Im0 58 0 R
/Im1 59 0 R
/Im2 60 0 R
/Im4 61 0 R
>>
/Font <<
/TT0 62 0 R
/T1_10 63 0 R
/T1_0 64 0 R
/T1_1 65 0 R
/T1_2 66 0 R
/T1_3 67 0 R
/T1_4 68 0 R
/T1_5 69 0 R
/T1_6 70 0 R
/T1_7 71 0 R
/T1_8 72 0 R
/T1_9 73 0 R
/F13 74 0 R
/F14 75 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState <<
/GS0 76 0 R
/GS1 77 0 R
>>
>>
/Type /Page
>>
endobj
15 0 obj
<<
/St 41
/S /D
>>
endobj
16 0 obj
<<
/Length 2574
/Filter /FlateDecode
/N 3
>>
stream
HyTSwoɞc
[5laQIBHADED2mtFOE.c}088GNg9w߽ '0 ֠Jb
2y.-;!KZ ^i"L0-
@8(r;q7Ly&Qq4j|9
V)gB0iW8#8wթ8_٥ʨQQj@&A)/g>'K t;\
ӥ$պFZUn(4T%)뫔0C&Zi8bxEB;Pӓ̹Aom?W=
x- [ 0}y)7ta>jT7@tܛ`q2ʀ&6ZLĄ?_yxg)˔zçLU*uSkSeO4?c. R
߁-25 S>ӣVd`rn~Y&+`;A4 A9 =-tl`;~p Gp| [`L`< "AYA+Cb(R, *T2B-
ꇆnQt}MA0alSx k&^>0|>_',G!"F$H:R!zFQd?r9\A&GrQhE]a4zBgE#H *B=0HIpp0MxJ$D1D, VĭKĻYdE"EI2EBGt4MzNr!YK ?%_(0J:EAiQ(()ӔWT6U@P+!~mDeԴ!hӦh/']B/ҏӿ?a0nhF!X8܌kc&5S6lIa2cKMA!E#ƒdV(kel
}}Cq9
N')].uJr
wG xR^[oƜchg`>b$*~ :Eb~,m,-ݖ,Y¬*6X[ݱF=3뭷Y~dó tizf6~`{v.Ng#{}}jc1X6fm;'_9 r:8q:˜O:ϸ8uJqnv=MmR 4
n3ܣkGݯz=[==<=GTB(/S,]6*-W:#7*e^YDY}UjAyT`#D="b{ų+ʯ:!kJ4Gmt}uC%K7YVfFY.=b?SƕƩȺy
چk5%4m7lqlioZlG+Zzmzy]?uuw|"űNwW&e֥ﺱ*|j5kyݭǯg^ykEklD_p߶7Dmo꿻1ml{Mś
nLl<9O [$h՛BdҞ@iءG&vVǥ8nRĩ7u\ЭD- u`ֲK³8%yhYѹJº;.!
zpg_XQKFAǿ=ȼ:ɹ8ʷ6˶5̵5͵6ζ7ϸ9к<Ѿ?DINU\dlvۀ܊ݖޢ)߯6DScs
2F[p(@Xr4Pm8Ww)Km
endstream
endobj
17 0 obj
<<
/D [23 0 R /XYZ null 326 null]
/S /GoTo
>>
endobj
18 0 obj
<<
/Parent 2 0 R
/A 78 0 R
/Next 79 0 R
/Prev 9 0 R
/Title (A toy concurrent programming language and its semantics in DC with infinite intervals)
>>
endobj
19 0 obj
<<
/Parent 10 0 R
/A 80 0 R
/Next 81 0 R
/Title (Proof system for ITL with infinite intervals)
>>
endobj
20 0 obj
<<
/D [38 0 R /XYZ null 184 null]
/S /GoTo
>>
endobj
21 0 obj
<<
/Parent 10 0 R
/A 82 0 R
/Prev 83 0 R
/Title (The rule Seq)
>>
endobj
22 0 obj
<<
/Parent 2 0 R
/A 84 0 R
/Next 10 0 R
/Prev 85 0 R
/Title (References)
>>
endobj
23 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R
96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R
106 0 R 107 0 R]
/Parent 11 0 R
/Contents 108 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 109 0 R
/Resources <<
/Font <<
/T1_10 110 0 R
/T1_11 63 0 R
/T1_0 66 0 R
/T1_1 71 0 R
/T1_2 67 0 R
/T1_3 64 0 R
/T1_4 111 0 R
/T1_5 112 0 R
/T1_6 70 0 R
/T1_7 72 0 R
/T1_8 113 0 R
/T1_9 114 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
24 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [117 0 R 118 0 R 119 0 R]
/Parent 11 0 R
/Contents 120 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 121 0 R
/Resources <<
/Font <<
/T1_10 122 0 R
/T1_11 123 0 R
/T1_12 72 0 R
/T1_13 114 0 R
/T1_14 110 0 R
/T1_15 63 0 R
/T1_0 66 0 R
/T1_1 111 0 R
/T1_2 68 0 R
/T1_3 112 0 R
/T1_4 67 0 R
/T1_5 70 0 R
/T1_6 113 0 R
/T1_7 71 0 R
/T1_8 124 0 R
/T1_9 125 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
25 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R]
/Parent 11 0 R
/Contents 132 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 133 0 R
/Resources <<
/Font <<
/T1_10 72 0 R
/T1_11 114 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 71 0 R
/T1_1 66 0 R
/T1_2 67 0 R
/T1_3 124 0 R
/T1_4 125 0 R
/T1_5 70 0 R
/T1_6 112 0 R
/T1_7 113 0 R
/T1_8 111 0 R
/T1_9 69 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
26 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [134 0 R 135 0 R 136 0 R]
/Parent 11 0 R
/Contents 137 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 138 0 R
/Resources <<
/Font <<
/T1_10 71 0 R
/T1_11 123 0 R
/T1_12 125 0 R
/T1_13 110 0 R
/T1_14 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 112 0 R
/T1_3 111 0 R
/T1_4 113 0 R
/T1_5 124 0 R
/T1_6 72 0 R
/T1_7 114 0 R
/T1_8 70 0 R
/T1_9 139 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
27 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [140 0 R]
/Parent 11 0 R
/Contents 141 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 142 0 R
/Resources <<
/Font <<
/T1_10 143 0 R
/T1_11 124 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 113 0 R
/T1_3 112 0 R
/T1_4 125 0 R
/T1_5 71 0 R
/T1_6 70 0 R
/T1_7 72 0 R
/T1_8 111 0 R
/T1_9 64 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
28 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [144 0 R 145 0 R]
/Parent 11 0 R
/Contents 146 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 147 0 R
/Resources <<
/Font <<
/T1_10 122 0 R
/T1_11 110 0 R
/T1_12 63 0 R
/T1_0 71 0 R
/T1_1 66 0 R
/T1_2 111 0 R
/T1_3 112 0 R
/T1_4 67 0 R
/T1_5 124 0 R
/T1_6 70 0 R
/T1_7 113 0 R
/T1_8 148 0 R
/T1_9 125 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
29 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 11 0 R
/Contents 149 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 150 0 R
/Resources <<
/Font <<
/T1_10 122 0 R
/T1_11 71 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 148 0 R
/T1_3 125 0 R
/T1_4 123 0 R
/T1_5 113 0 R
/T1_6 124 0 R
/T1_7 112 0 R
/T1_8 111 0 R
/T1_9 70 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
30 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 11 0 R
/Contents 151 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 152 0 R
/Resources <<
/Font <<
/T1_10 123 0 R
/T1_11 68 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 111 0 R
/T1_3 70 0 R
/T1_4 113 0 R
/T1_5 71 0 R
/T1_6 64 0 R
/T1_7 143 0 R
/T1_8 112 0 R
/T1_9 124 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
31 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [153 0 R 154 0 R]
/Parent 11 0 R
/Contents 155 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 156 0 R
/Resources <<
/Font <<
/T1_10 125 0 R
/T1_11 110 0 R
/T1_12 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 113 0 R
/T1_3 112 0 R
/T1_4 123 0 R
/T1_5 68 0 R
/T1_6 71 0 R
/T1_7 111 0 R
/T1_8 70 0 R
/T1_9 72 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
32 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [157 0 R]
/Parent 12 0 R
/Contents 158 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 159 0 R
/Resources <<
/Font <<
/T1_10 124 0 R
/T1_11 111 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 67 0 R
/T1_1 66 0 R
/T1_2 112 0 R
/T1_3 72 0 R
/T1_4 114 0 R
/T1_5 68 0 R
/T1_6 70 0 R
/T1_7 113 0 R
/T1_8 71 0 R
/T1_9 123 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
33 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [160 0 R]
/Parent 12 0 R
/Contents 161 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 162 0 R
/Resources <<
/Font <<
/T1_10 70 0 R
/T1_11 110 0 R
/T1_12 63 0 R
/T1_0 71 0 R
/T1_1 66 0 R
/T1_2 67 0 R
/T1_3 125 0 R
/T1_4 123 0 R
/T1_5 112 0 R
/T1_6 148 0 R
/T1_7 113 0 R
/T1_8 124 0 R
/T1_9 111 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
34 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [163 0 R 164 0 R]
/Parent 12 0 R
/Contents 165 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 166 0 R
/Resources <<
/Font <<
/T1_10 111 0 R
/T1_11 114 0 R
/T1_12 64 0 R
/T1_13 110 0 R
/T1_14 63 0 R
/T1_0 66 0 R
/T1_1 112 0 R
/T1_2 67 0 R
/T1_3 70 0 R
/T1_4 148 0 R
/T1_5 113 0 R
/T1_6 72 0 R
/T1_7 71 0 R
/T1_8 124 0 R
/T1_9 123 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
35 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 12 0 R
/Contents 167 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 168 0 R
/Resources <<
/Font <<
/T1_10 63 0 R
/T1_0 71 0 R
/T1_1 66 0 R
/T1_2 67 0 R
/T1_3 112 0 R
/T1_4 124 0 R
/T1_5 70 0 R
/T1_6 64 0 R
/T1_7 111 0 R
/T1_8 113 0 R
/T1_9 110 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
36 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [169 0 R]
/Parent 12 0 R
/Contents 170 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 171 0 R
/Resources <<
/Font <<
/T1_10 125 0 R
/T1_11 72 0 R
/T1_12 110 0 R
/T1_13 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 113 0 R
/T1_3 123 0 R
/T1_4 124 0 R
/T1_5 114 0 R
/T1_6 112 0 R
/T1_7 111 0 R
/T1_8 70 0 R
/T1_9 71 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
37 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [172 0 R]
/Parent 12 0 R
/Contents 173 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 174 0 R
/Resources <<
/Font <<
/T1_10 114 0 R
/T1_11 110 0 R
/T1_12 63 0 R
/T1_0 66 0 R
/T1_1 67 0 R
/T1_2 70 0 R
/T1_3 113 0 R
/T1_4 112 0 R
/T1_5 71 0 R
/T1_6 64 0 R
/T1_7 68 0 R
/T1_8 139 0 R
/T1_9 72 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
38 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [175 0 R]
/Parent 12 0 R
/Contents 176 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 177 0 R
/Resources <<
/Font <<
/T1_0 70 0 R
/T1_1 68 0 R
/T1_2 73 0 R
/T1_3 64 0 R
/T1_4 71 0 R
/T1_5 110 0 R
/T1_6 63 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
39 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Annots [178 0 R 179 0 R]
/Parent 12 0 R
/Contents 180 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 181 0 R
/Resources <<
/Font <<
/T1_10 110 0 R
/T1_11 63 0 R
/T1_0 70 0 R
/T1_1 113 0 R
/T1_2 124 0 R
/T1_3 68 0 R
/T1_4 114 0 R
/T1_5 71 0 R
/T1_6 182 0 R
/T1_7 69 0 R
/T1_8 72 0 R
/T1_9 139 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
40 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 12 0 R
/Contents 183 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 184 0 R
/Resources <<
/Font <<
/T1_0 70 0 R
/T1_1 113 0 R
/T1_2 139 0 R
/T1_3 124 0 R
/T1_4 72 0 R
/T1_5 71 0 R
/T1_6 68 0 R
/T1_7 110 0 R
/T1_8 63 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
41 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 12 0 R
/Contents 185 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 186 0 R
/Resources <<
/Font <<
/T1_0 70 0 R
/T1_1 113 0 R
/T1_2 124 0 R
/T1_3 139 0 R
/T1_4 72 0 R
/T1_5 68 0 R
/T1_6 110 0 R
/T1_7 63 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
42 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 13 0 R
/Contents 187 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 188 0 R
/Resources <<
/Font <<
/T1_10 110 0 R
/T1_11 63 0 R
/T1_0 70 0 R
/T1_1 113 0 R
/T1_2 124 0 R
/T1_3 68 0 R
/T1_4 71 0 R
/T1_5 114 0 R
/T1_6 139 0 R
/T1_7 72 0 R
/T1_8 182 0 R
/T1_9 189 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
43 0 obj
<<
/CropBox [0.0 0.0 467.717 680.315]
/Parent 13 0 R
/Contents 190 0 R
/Rotate 0
/MediaBox [0.0 0.0 467.717 680.315]
/Thumb 191 0 R
/Resources <<
/Font <<
/T1_0 70 0 R
/T1_1 113 0 R
/T1_2 124 0 R
/T1_3 68 0 R
/T1_4 114 0 R
/T1_5 189 0 R
/T1_6 72 0 R
/T1_7 139 0 R
/T1_8 110 0 R
/T1_9 63 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 115 0 R
/GS1 116 0 R
>>
>>
/Type /Page
>>
endobj
44 0 obj
<<
/Type /Annot
/Subtype /Link
/A 192 0 R
/Rect [0.0 652.13104 467.717 680.315]
/F 0
/C [0.718 0.329 0.0]
>>
endobj
45 0 obj
<<
/Rect [281.619 480.809 288.392 490.861]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 193 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
46 0 obj
<<
/Rect [289.145 480.809 295.917 490.861]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 194 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
47 0 obj
<<
/Rect [275.22 421.874 281.994 431.926]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 195 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
48 0 obj
<<
/Rect [282.746 421.874 289.52 431.926]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 196 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
49 0 obj
<<
/Rect [296.588 144.508 303.821 153.271]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 197 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
50 0 obj
<<
/Rect [79.4102 90.3309 159.48 102.6]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A <<
/URI (mailto:gelevdp@math.bas.bg)
/S /URI
/Type /Action
>>
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
51 0 obj
<<
/Rect [79.4102 79.9971 147.142 92.2665]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A <<
/URI (mailto:dvh@iist.unu.edu)
/S /URI
/Type /Action
>>
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
52 0 obj
<<
/Rect [328.055 571.891 428.031 580.819]
/Subtype /Link
/BS <<
/S /S
/W 0
/Type /Border
>>
/A 198 0 R
/F 4
/Border [0 0 0]
/Type /Annot
>>
endobj
53 0 obj
<<
/Rect [248.766 60.1097 318.167 67.9295]
/Subtype /Link
/BS <<
/S /U
/W 1
/Type /Border
>>
/A 199 0 R
/C [0.0 0.0 1.0]
/H /P
/Border [0 0 1]
/Type /Annot
>>
endobj
54 0 obj
<<
/Length 2547
/Filter /FlateDecode
>>
stream
HWrF}W2Gs7ڲS[ Ȃ /)eR*s>}zqR&7b#ʋL'R
["q OŇno+W4r/v/7uJ Wd >Zzauˋ]ōw}wU^M=^N}9]\l6S3D^E(1lOl/X}nTpT5m$M8B+ s-\ez
yRhjΗ[DfeNM6wRWyN4rvAfrM{qa ӱGOMe-K7Snc.7uՆɊ\eQkS>ӉU6~!-?g@qo>oM0fUX왯 V22Fk}]ǰ'm8{8NVP_ď%#`~|'s-;ziZO𥆎pkyo<yr,>ln%bRd~a
+erܷ` ϮMFy7-zXlJ']vFNzҌI;3c^]t#h-LˁVvT[`0]] ,uenApWMwcGVmrFK y\ + $RoʦMn;5`I%[gr(2kiūNJ(v&fiFSi4{Cj;%6e1ī\@ Hboa̡A=X0g
-<9:YT쓁GVW)ހj*RaבN~ԥMvN"NR7C
Kh_7nqz^VV5ۥ6mj[ hh{
.\/q2]p;<<)h0I<~kاD|poMtˈSlsM,<36^\u1K RIT{.}/u^sU `~٫aW5