URL: https://www.csl.sri.com/users/rushby/papers/sosp81.pdf
%PDF-1.3
3 0 obj <<
/Length 1552
/Filter /FlateDecode
>>
stream
x�uW�r�6}�W�Ԍ��E���M�N2M��N_�̄�`c�Tx��~}�b��d+�,���g+(��@gq�M����,���כ�Ͽ%X\GF��ͭW��~_��ݵ˕IUX�[���J��w_�2U9�N4�[�^�j�:�ȏ�hw����;�**TA���3��:RE�R���%����2��`��
�R6��\��5.��
_������ঝ/��ı0��;��S�}c�2 �Q��`��(M
��R�aY�;x��}G���?{�s����v}�J���c2����Vv����E���*�*��Rub�Y�Wvip��C�LvM��Sx?^��7@�����+E��E�fe4p��H=U4hd��XE����w]-~���z�Ȼb��bM{2i��(�9�p]|��V �?t�<�~gG]Wζ����r��5]�i���"Y���WoY�-�ӷ��e�W&���3���m:၏r/���o�(#��t})&����,&�"�:V���L���0�e5�=(�fd �&s��7������Co8��$�^%
�ngy�'��Xں[��$���Y�2�>u�Z�neמ�΄ɜ�q�����Q��:�[۬إ:�+|%����7��@eB"7��Pi���NFYi�y=ڪn����"��P�Q$�f"�������� Bn���P"$I��pc�?��u75�����:���y��r)[�p��Q�4|(�+��:�v�[�ˍ���ގ�*R��xB' Q?6�9�}7�ճ`E�^����*�܀MpR���r���!�붓d�̜��kQ�=���L�'H�1�d��;�u��r?
�=�S[���� >���7��Ou�Iɘ"edV�ӠȞ SPP�$C>��~��-�<�/�#qyd���2��}N�����;9�A���ʄP�N�dY���~��a~�0��⋚���� �S�q
��n<.��1ҡ�����@^�]�*b��c[�O��Ov�M{��ힿ�>C���3�;H'��i,u�0a������o�١�a��gNXJ�d
�R,�������� 7M�o�nǣ�h0��$yH�����)�x"�Ѫ���RS��