%PDF-1.1 % 1 0 obj << /CreationDate (D:191030731113902) /Keywords () /Creator (LaTeX with hyperref package) /Title () /Producer (dvips + Distiller) /Author () /Subject () >> endobj 3 0 obj << /D [2 0 R /XYZ 35 783 null] /Rect [282.698 -103.698 299.302 -120.302] >> endobj 13 0 obj << /D [2 0 R /XYZ 35 782 null] /Rect [282.698 8.302 291 -103.778] >> endobj 14 0 obj << /D [2 0 R /XYZ 35 393 null] /Rect [282.698 3235.302 291 3123.222] >> endobj 15 0 obj << /Dest /cite.BCMS:inHPA /Type /Annot /Subtype /Link /Rect [265 301 273 310] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 16 0 obj << /Dest /cite.Kucera:SOFSEM:02 /Type /Annot /Subtype /Link /Rect [274 301 282 310] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 17 0 obj << /Dest /cite.Srba:EATCS:02 /Type /Annot /Subtype /Link /Rect [283 301 297 310] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 18 0 obj << /Dest /cite.Jancar:PN-bisimilarity-TCS /Type /Annot /Subtype /Link /Rect [173 257 181 266] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 19 0 obj << /Dest /cite.Jancar:PN:95 /Type /Annot /Subtype /Link /Rect [303 242 311 252] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 20 0 obj << /Dest /cite.Jancar:PN:95 /Type /Annot /Subtype /Link /Rect [225 228 233 237] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 21 0 obj << /Dest /cite.PDA:bisimilarity /Type /Annot /Subtype /Link /Rect [242 198 256 207] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 22 0 obj << /Dest /cite.Srba:CONCUR:2002 /Type /Annot /Subtype /Link /Rect [485 183 499 193] /C [0 1 0] /Border [0 0 0] /H /I >> endobj 23 0 obj << /Length 4247 /Filter /LZWDecode >> stream yd6DC0(r.PAC&71, a"X(X8Q "Bр`0`ؠN#Q%BȤZ4ST%A8T* !XD #)m4'#8j7 So7UV aZ+F#Ac+BӁt23:y) F"Ytp1AraGd(73Ib`2* Z1]v)~.fyuoMڽfr<:?BhB$ʢ)2vCHRb`P/̴'`jJ5Caq3Bz$S=8Qd0(j&.A@bj$a`F PPˑd0'/C8`S]=,DJK;JB8b,D#Qj(X=c(Q": MR7