%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (A motivating example) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (SSCC) endobj 17 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 20 0 obj (Syntax) endobj 21 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 24 0 obj (Semantics) endobj 25 0 obj << /S /GoTo /D (section.4) >> endobj 28 0 obj (Type system) endobj 29 0 obj << /S /GoTo /D (section.5) >> endobj 32 0 obj (Further examples) endobj 33 0 obj << /S /GoTo /D (section.6) >> endobj 36 0 obj (Programming workflow patterns in SSCC) endobj 37 0 obj << /S /GoTo /D (section.7) >> endobj 40 0 obj (Conclusion and further work) endobj 41 0 obj << /S /GoTo /D (section.A) >> endobj 44 0 obj (Equivalence between LTS and reduction semantics) endobj 45 0 obj << /S /GoTo /D (section.B) >> endobj 48 0 obj (Subject reduction) endobj 49 0 obj << /S /GoTo /D (section.C) >> endobj 52 0 obj (Type safety) endobj 53 0 obj << /S /GoTo /D [54 0 R /Fit ] >> endobj 56 0 obj << /Length 941 /Filter /FlateDecode >> stream xڥTM6WH{Kb &N/ eWm;Cn^)r͛7O!%3֑f[SI[pL`ϙleV.}'I0ɉL-OQ3J;4OQa'Xe犬t:t×RNWcS*I7ja 3Z14mq@L#g!j`( 0[tc\'ΉFmDc@f+dE*Lii{_I)4%t3+Yh`:]֒١kLjhbL@A1MwxHb!Yh{l(KUji*] z1L]pǴt+M}A|w\p닦ty'PPt62OyM쏻.-'DY M rnr$f]1LlTf_}@asPnٷY8n^ڃݜf2J2͡oC0ƧR[E#$L o;ހSpD8Nݏ w`4̕ }Ȟ8"oL88.`{px b+t_#]*Y UX*>ߺ!9&eMMka'l!4t}A7s4!|҅0gMnytbmv~cƸU}jYP%M.#cJ&`*!H;d!Rj)6/ n__ߔ5Z8zP|3oAX9xP shW.BJ+8uNv;gHq yb}L) 4+.W(s O~MX¢=23/ڽ endstream endobj 54 0 obj << /Type /Page /Contents 56 0 R /Resources 55 0 R /MediaBox [0 0 595.276 841.89] /Parent 71 0 R >> endobj 57 0 obj << /D [54 0 R /XYZ 90 757.935 null] >> endobj 58 0 obj << /D [54 0 R /XYZ 90 733.028 null] >> endobj 55 0 obj << /Font << /F18 61 0 R /F19 64 0 R /F8 67 0 R /F34 70 0 R >> /ProcSet [ /PDF /Text ] >> endobj 74 0 obj << /Length 8 /Filter /FlateDecode >> stream x endstream endobj 73 0 obj << /Type /Page /Contents 74 0 R /Resources 72 0 R /MediaBox [0 0 595.276 841.89] /Parent 71 0 R >> endobj 75 0 obj << /D [73 0 R /XYZ 90 757.935 null] >> endobj 72 0 obj << /ProcSet [ /PDF ] >> endobj 78 0 obj << /Length 3599 /Filter /FlateDecode >> stream xڍZɒFWF s 9x3>H:A4hD}*M ԒBlf~&UIU~E{fzzzUsj9b[oLyoj%c_2[bVSYʼnj~|n$B] 3Vx7ofBc}8McC|AXD,a6IADs?/By ш2Wz,P8Ze~a{}cA`ncB?j3/:'%U#R즎UvաaY<tX5p,$I?'&_b?^y 2
C.(!}([;CgTD**QƺNj]UVjjAt<HtȖ}_n'3C?cá<b o8Kh"-ajFCL&4r0 e`o ݄=^@4cKw8n,:4At\Ct9nSE-U
Q]y_6F{bұQjQ跛\9>)cx`;Ȕ ډS0lFH[CG5Y
Q-KSYUvץ#\/f
]8?csϼ>imTdX֑Ev;/Y PYB;n@pNC!ҝ(ע$aVh'c0m
$$cN5< 'KK}xVYjГ.F"ư!{ՁS[!D /`A`ɥc@<֟@chf>'K*6Zy¶Tok-9d09ԇR0uʋI"ij7A2qԎ}Gv3bDn)t2{A2a
{Hz@g':!xy
F>tylàT}}ZyvSY**furj;4'>%MC Xgg(đ; kA&ni83
;~'!-f]befa aA2*xpq$.sDB"X,cgAqzzӭKg*Q<z%gҵеD/]K٢?,+_hİ3.
JPL*Tr9±PE(߇axokC`ڣtdPa29rEj@$!I]l3)d81ҹaўβɄe
Ec'z=weuJ7Vu>4ǵ#52
ͩq#({WIJrU#lm( KQkYН3a!f.qC(Ux۶̰i:[CݞeS+g@Retq>fE"P?Q%R2=kq>,B ;{5TN\Ƴg4P
pм;CkAA':ݲN'V%X