%PDF-1.4 %ÐÔÅØ 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (1 Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (2 The data types of occam 2) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (3 Channel protocols) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (4 Numerical behaviour) endobj 21 0 obj << /S /GoTo /D (section.5) >> endobj 24 0 obj (5 Abbreviations) endobj 25 0 obj << /S /GoTo /D (section.6) >> endobj 28 0 obj (6 Alias checking) endobj 29 0 obj << /S /GoTo /D (section.7) >> endobj 32 0 obj (7 Checking the validity of parallel constructs) endobj 33 0 obj << /S /GoTo /D (section.8) >> endobj 36 0 obj (8 Run-time error handling in occam 2) endobj 37 0 obj << /S /GoTo /D (section.9) >> endobj 40 0 obj (9 Conclusion) endobj 41 0 obj << /S /GoTo /D (section*.2) >> endobj 44 0 obj (References) endobj 45 0 obj << /S /GoTo /D [46 0 R /Fit ] >> endobj 48 0 obj << /Length 306 /Filter /FlateDecode >> stream xÚu9O1…ûýSzg}µ Â!‘²¢ŽsH„ ›¥àß3»NT~šë}~¶ á¦Òÿ¼—mu1C¦Q>x„vÃÒ+g,4•åÊžÅ2§Ï~?Ô„â«–ä­XŽ,Pä4œJ¥ÛÔ/í= ‰Šä7„Pö»i6¥Õ¡Ìšq´ºn« ™C¢WÁhyéP ²A9Ë4*„>æzbõVZónÈEQáúÒÅŒ< VQÇ)!o•Ó–H†©bñz궹ç3Är—»Ü¯ÇcÌiîrÐ6zÞ JÇ3æ" ÝkÍ%1] ƒŸÒ”Qi’3á¦aod{u+5©õŸ¸ë7üqV endstream endobj 46 0 obj << /Type /Page /Contents 48 0 R /Resources 47 0 R /MediaBox [0 0 595.276 841.89] /Parent 55 0 R >> endobj 49 0 obj << /D [46 0 R /XYZ 117.828 740.002 null] >> endobj 50 0 obj << /D [46 0 R /XYZ 117.828 715.095 null] >> endobj 47 0 obj << /Font << /F17 51 0 R /F19 52 0 R /F37 53 0 R /F15 54 0 R >> /ProcSet [ /PDF /Text ] >> endobj 59 0 obj << /Length 707 /Filter /FlateDecode >> stream xÚuT[o›0~ϯð£#á²>¥YÚ2•¤K¨ª¨Ú!Nc bfȪþûÙ>& Ú&$Û|çœï\m½!ݏÜÿìT­.¢È§’Äò˜„^ŒÊzôkä’‰÷»}lÂ3vÖ}£ïêëùœžÐ¹`¼ÍG×wt‚’„^ˆò=¢4"±zA@"¡|‡^ñfûXœÆŽïû¸.Æ^Œ?ôO€¢û2þ‘;‡h@Ü9Š&ñ}0§d¨òêL‚gbì(¢ßk.×Ç݁éC€³¢c’U¸°ŸZ+WŠ5@û^Vû ”¼uÍd©@Øœdc|‰–]i(Á—vþèõ¶/u¬ˆúÄs}•%ÉdiìxÛT6yU+(03©B©‹cÉ,܃W ‘ÌÄØÕÍ°ÎÙ™®™Î¼Öl¥8)®…&ú­ÜŸi¨ŸR4&HÉßÆã0¡Êgä¬+¤5Uíä%kÁ`/E 0tFΝ1)¨ˆÿnv~àÊ>ð<¼Ó Žpyª™ ¯Ó0Åg1o;É·§Ží¬àãMa‹ÛãEOÑòΫ í¥¢”ý©R+€¾¤ùÃò97»ÃÎN›±¾øeL)ÅÓÕjºÈ77€½óî 4‰OCÌ êGA]ԁ×MÅuZç]«RÂLvý`*‰Øƒz6_itö ÜèQšÞ¦i¾„Bh}×îÒ|1_¯¡3wÚz¹É¶'C´ÒkžÎž§Vüô¼zZ®çäL®îzl{•.²åÚlšÁ)ÀËÙlšÙ¹’¶ñ,v¬.äO;&m¥àøÈk®zùéÈ'“ ¹p4PÞZ?öiQ÷Z ÊÖÌ é§«ó®ï׎je¶^.@#㥄Yc+;)Ž¼´qÞKqj†WÉvj6 endstream endobj 58 0 obj << /Type /Page /Contents 59 0 R /Resources 57 0 R /MediaBox [0 0 595.276 841.89] /Parent 55 0 R >> endobj 56 0 obj << /Type /XObject /Subtype /Image /Width 321 /Height 65 /BitsPerComponent 8 /ColorSpace /DeviceRGB /Length 1728 /Filter /FlateDecode /DecodeParms << /Colors 3 /Columns 321 /BitsPerComponent 8 /Predictor 10 >> >> stream x^íœQšÛ „Ûû_¡‡éͶiRŠ@I{òíC“!ú%a§ûýëëë_T€ ì«À†|î‡öumèóZ‚¯‰ üüûšhóeêeµý»»â·1ô¹ñ²LÿÍ17ÔnM¡ë@»æpô¶dî€bçøm=†Gڍ䈇S7ñòT f5i xÈÛÃÃzd7S”›dÁ:l€M†'2°»)Ye‘ôBÛôÏ’ä®Á:ka2¼;YëüWêp]KͲܖo’eË]—b”áF'üˆ{ƒ:†_l`ä}ÖÅøVÒÏÃMQm:dÉv-˜´Üí®eå'ìà oê%–;R ÍçÍ©U¾mœÒnøgvÜÜZP'ÕŸ25ziìŠ °³_1.鮀ͰnË,H¶ËçÊ*¦}ÅÓyýùs×mïÓÿâd÷BÌKÀC#7Uà¢ã$耻ËÒÉÑr1û:½õZº}PÛT+2,¥3 îJÌ>hÜÌ2ù/Z‘a|/î7Òføˆ¼06ñ„ôŠ¦¬1ÆŠÛr:ž&ÿM·‘Ri®)¿"Ùà+2lžñêHŽè³’‹a¥û]T†á’^ÉðÍ°t]΃Öu 0¦g|ŽíÏaÓ›ã\ÁÁÛ)p†Á-Ùˆa0;tA ¶‘7g߉k2<*Å8Ƹ¹©wfXnIsVnÕ'[oä†“Þ ƒ½±^ “¦ØN1,o˜oÄ°’}̱]PÒa—dø-×5{i¥Jƒí´+8xGÊ°ÞfƒÏ®tŠpƐ'Cæ#nöÒ;â7Åç Ãemó9rÞÃ}ô˜wJø^¶#ÛŒdÄÇì¨ ÊpøY剃7uÍó$˜#¦Ÿ·Aÿõ4ºcPÒg—†»!uå:\ß[–¥,þái޾⿞wÌ`®áà‹+àcØ$¶{ļ u·vKÿ/‚t/© æß H†§Ÿ¬ &Ã'‡ —O*@†Ép2„8ýdÈ0>9¹|R2L†“!Äé'+@†ÉðÉ!Èå“ üf˜/*@öU`Ùdzæ\>6¿§ej˜@ýÏ×Aú¿3ðä°Lû#騏T7Ñ'@Žw #cÞ˜9Æß„1ñgacjÈYo}f™Sìa232õ1q]³È0vLL†Ép,rþÍbA1ôé^‘öÛÀ^Ú&g¸¹9i›æyÐ×0Örû©ø‰]¼kÖzéÔ°Îèuæú¤âÇEcl0æy89Œ#~bâºfqÈ°+`xOk×:Üõ[~ëEÙ~ý<£ë‚¨†œ—¤Ãõ'ï uše¤Fù¼»¢OŒÞc–i ¡pü4?¤ÿ„øÉHÎÕaÝ{„„‡0l •¯ó†Y9’XŽ0Ýž’ƒ>ªÿSV²@ÉÖ2îQ‡Í :Ĩ»Ö@0™u2p +—ÖçÓúdoÏI•‘éx®­åëÀ†Kׇ4²=SrÐñ«‘Ù¼>ŠÚ2°Â î#@ÀFiÎÌAgéŠöö2ì-¤fž¾ÃÓõñfÌ®zÊ„¹¿2ÇÕ‘†¤!Ã×Õ?©22ÇêŒYi‘ c¦©-ê°lsôæHgØÔ°BÂä2<…a³oÌÔI3ÉðuõOò‰L'Ãd‰“@J—\u˜w6ÑÌýÈ ¥WIn0r+Weº¨cfИ‹šç½úã¶9¥ë½hr‹É0ºG¬ÃSê0*w5Žô