/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / specific / thread

< prev

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 00 00 01 7f 00 00 01 9b | 00 00 02 d9 00 00 02 be |........|........|
|00000010| 00 0f 00 19 00 0f 00 11 | 00 14 00 00 00 01 00 01 |........|........|
|00000020| 00 01 00 01 00 01 00 01 | 00 03 00 01 00 01 00 01 |........|........|
|00000030| 00 01 00 01 00 01 00 01 | 00 02 00 01 00 02 42 72 |........|......Br|
|00000040| 65 6e 64 61 6e 20 4d 61 | 68 6f 6e 79 00 4c 69 6d |endan Ma|hony.Lim|
|00000050| 20 43 68 65 65 20 59 6f | 6e 67 00 4f 74 73 6f 20 | Chee Yo|ng.Otso |
|00000060| 59 6c 7c 6e 65 6e 20 28 | 4f 53 59 00 4b 75 72 61 |Yl|nen (|OSY.Kura|
|00000070| 6d 20 54 20 4e 61 72 61 | 79 61 6e 61 00 41 6d 79 |m T Nara|yana.Amy|
|00000080| 20 4d 6f 6f 72 6d 61 6e | 6e 20 5a 61 72 00 44 6f | Moorman|n Zar.Do|
|00000090| 6e 20 53 61 6e 6e 65 6c | 6c 61 00 41 6e 74 68 6f |n Sannel|la.Antho|
|000000a0| 6e 79 20 53 68 69 70 6d | 61 6e 00 54 2e 20 4b 6f |ny Shipm|an.T. Ko|
|000000b0| 73 74 65 6c 69 6a 6b 20 | 34 33 38 00 4c 65 76 65 |stelijk |438.Leve|
|000000c0| 6c 74 20 57 2e 00 43 6c | 69 66 66 20 42 20 4a 6f |lt W..Cl|iff B Jo|
|000000d0| 6e 65 73 00 41 6e 74 6f | 6e 69 6f 20 52 75 69 7a |nes.Anto|nio Ruiz|
|000000e0| 20 44 65 6c 00 76 69 63 | 74 6f 72 20 79 6f 64 61 | Del.vic|tor yoda|
|000000f0| 69 6b 65 6e 00 41 6c 61 | 73 74 61 69 72 20 52 65 |iken.Ala|stair Re|
|00000100| 69 64 00 52 69 63 6b 20 | 26 00 73 6a 76 00 4d 61 |id.Rick |&.sjv.Ma|
|00000110| 72 74 69 6e 20 57 65 69 | 67 65 6c 65 00 50 69 70 |rtin Wei|gele.Pip|
|00000120| 70 6f 20 53 63 6f 6c 6c | 6f 00 4c 69 6e 65 61 72 |po Scoll|o.Linear|
|00000130| 20 61 6e 64 20 42 72 61 | 6e 63 68 69 6e 67 20 54 | and Bra|nching T|
|00000140| 69 6d 65 20 54 65 6d 70 | 6f 72 61 6c 20 4c 6f 67 |ime Temp|oral Log|
|00000150| 69 63 00 52 65 71 75 65 | 73 74 20 66 6f 72 20 49 |ic.Reque|st for I|
|00000160| 53 4f 20 49 53 39 30 37 | 34 2f 38 38 30 37 20 26 |SO IS907|4/8807 &|
|00000170| 20 54 52 31 30 31 36 37 | 00 49 42 4d 20 43 55 41 | TR10167|.IBM CUA|
|00000180| 20 28 77 68 65 72 65 20 | 74 6f 20 66 69 6e 64 3f | (where |to find?|
|00000190| 29 00 5a 45 44 20 53 70 | 65 63 69 66 69 63 61 74 |).ZED Sp|ecificat|
|000001a0| 69 6f 6e 20 45 6e 76 69 | 72 6f 6e 6d 65 6e 74 20 |ion Envi|ronment |
|000001b0| 28 50 72 6f 64 75 63 74 | 20 41 6e 6e 6f 75 6e 63 |(Product| Announc|
|000001c0| 65 6d 65 6e 74 29 00 4c | 61 72 63 68 20 66 6f 72 |ement).L|arch for|
|000001d0| 20 53 4d 4c 00 6d 6f 64 | 75 6c 65 73 20 69 6e 20 | SML.mod|ules in |
|000001e0| 56 44 4d 00 69 6e 63 6f | 6e 73 69 73 74 65 6e 63 |VDM.inco|nsistenc|
|000001f0| 79 20 77 69 74 68 20 6c | 61 6d 62 64 61 20 69 6e |y with l|ambda in|
|00000200| 20 56 44 4d 00 50 6f 73 | 74 64 6f 63 20 76 61 63 | VDM.Pos|tdoc vac|
|00000210| 61 6e 63 79 20 66 6f 72 | 20 70 72 6f 74 6f 63 6f |ancy for| protoco|
|00000220| 6c 20 76 65 72 69 66 69 | 63 61 74 69 6f 6e 20 69 |l verifi|cation i|
|00000230| 6e 20 49 43 2d 64 65 73 | 69 67 6e 00 53 75 6d 6d |n IC-des|ign.Summ|
|00000240| 61 72 79 20 6f 66 20 53 | 44 4c 20 74 6f 6f 6c 73 |ary of S|DL tools|
|00000250| 00 53 44 4c 20 39 32 00 | 51 75 65 73 74 69 6f 6e |.SDL 92.|Question|
|00000260| 73 20 6f 6e 20 6d 6f 64 | 75 6c 65 73 20 61 6e 64 |s on mod|ules and|
|00000270| 20 73 74 61 74 65 20 69 | 6e 20 42 53 49 20 56 44 | state i|n BSI VD|
|00000280| 4d 00 4c 6f 6f 6b 69 6e | 67 20 66 6f 72 20 70 61 |M.Lookin|g for pa|
|00000290| 70 65 72 20 61 62 6f 75 | 74 20 71 75 61 6e 74 69 |per abou|t quanti|
|000002a0| 66 69 63 61 74 69 6f 6e | 00 77 61 6e 74 65 64 3a |fication|.wanted:|
|000002b0| 20 62 6f 6f 6b 73 2f 70 | 61 70 65 72 20 6f 6e 20 | books/p|aper on |
|000002c0| 66 6f 72 6d 61 6c 20 6d | 65 74 68 6f 64 73 00 41 |formal m|ethods.A|
|000002d0| 4d 41 53 54 27 39 33 20 | 43 61 6c 6c 20 66 6f 72 |MAST'93 |Call for|
|000002e0| 20 50 61 70 65 72 73 20 | 28 6c 61 74 65 78 29 00 | Papers |(latex).|
|000002f0| 41 4d 41 53 54 27 39 33 | 20 43 61 6c 6c 20 66 6f |AMAST'93| Call fo|
|00000300| 72 20 50 61 70 65 72 73 | 20 28 70 6c 61 69 6e 20 |r Papers| (plain |
|00000310| 61 73 63 69 69 29 00 00 | 02 00 01 00 01 00 01 00 |ascii)..|........|
|00000320| 02 00 01 00 01 00 01 00 | 01 00 01 00 02 00 03 00 |........|........|
|00000330| 02 00 01 00 01 00 00 01 | 7f 00 00 00 01 00 01 00 |........|........|
|00000340| 00 00 00 01 86 00 03 00 | 01 00 01 00 00 00 00 01 |........|........|
|00000350| 87 00 04 00 01 00 01 00 | 00 00 00 01 88 00 05 00 |........|........|
|00000360| 01 00 01 00 00 00 00 01 | 89 00 06 00 01 00 01 00 |........|........|
|00000370| 00 00 00 01 8b 00 09 00 | 01 00 01 00 00 00 00 01 |........|........|
|00000380| 8c 00 0a 00 01 00 01 00 | 00 00 00 01 8d 00 0b 00 |........|........|
|00000390| 01 00 01 00 00 00 00 01 | 8e 00 0c 00 01 00 01 00 |........|........|
|000003a0| 00 00 00 01 91 00 0d 00 | 01 00 01 00 00 00 00 01 |........|........|
|000003b0| 90 00 0e 00 01 00 01 00 | 00 00 00 01 94 00 11 00 |........|........|
|000003c0| 01 00 01 00 00 00 00 01 | 95 00 14 00 01 00 01 00 |........|........|
|000003d0| 00 00 00 01 9a 00 17 00 | 01 00 01 00 00 00 00 01 |........|........|
|000003e0| 9b 00 18 00 01 00 01 00 | 00 00 00 00 00 2a 98 27 |........|.....*.'|
|000003f0| eb ff ff ff ff 00 00 00 | 02 00 00 00 00 00 00 00 |........|........|
|00000400| 00 00 00 01 7f 2a 98 27 | eb 00 00 00 00 00 00 00 |.....*.'|........|
|00000410| 00 ff ff 00 00 00 01 00 | 00 00 00 01 92 2a a1 37 |........|.....*.7|
|00000420| 5a 00 00 00 0b 00 00 00 | 00 ff fe 00 00 00 00 00 |Z.......|........|
|00000430| 00 00 00 01 86 2a 9a f8 | c7 00 01 00 01 00 01 00 |.....*..|........|
|00000440| 00 00 00 00 00 00 00 00 | 01 00 00 01 87 2a 9b 2e |........|.....*..|
|00000450| c0 00 02 00 02 00 05 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000460| 02 00 00 01 88 2a 9b 8a | 02 00 03 00 03 00 05 00 |.....*..|........|
|00000470| 00 00 00 00 00 00 00 00 | 03 00 00 00 00 2a 9b b2 |........|.....*..|
|00000480| bd ff ff ff ff 00 00 00 | 02 00 00 00 00 00 00 00 |........|........|
|00000490| 04 00 00 01 89 2a 9b b2 | bd 00 04 00 04 00 00 00 |.....*..|........|
|000004a0| 00 ff ff 00 00 00 01 00 | 04 00 00 01 8a 2a 9b b9 |........|.....*..|
|000004b0| 31 00 04 00 05 00 00 00 | 00 ff fe 00 00 00 00 00 |1.......|........|
|000004c0| 04 00 00 01 8b 2a 9c 82 | eb 00 05 00 06 00 01 00 |.....*..|........|
|000004d0| 00 00 00 00 00 00 00 00 | 05 00 00 01 8c 2a 9c 85 |........|.....*..|
|000004e0| df 00 06 00 06 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004f0| 06 00 00 01 8d 2a 9c 95 | a5 00 07 00 07 00 01 00 |.....*..|........|
|00000500| 00 00 00 00 00 00 00 00 | 07 00 00 01 8e 2a 9c b0 |........|.....*..|
|00000510| 60 00 08 00 08 00 01 00 | 00 00 00 00 00 00 00 00 |`.......|........|
|00000520| 08 00 00 01 91 2a 9e 1b | 5a 00 09 00 0a 00 01 00 |.....*..|Z.......|
|00000530| 00 00 00 00 00 00 00 00 | 09 00 00 00 00 2a 9e 3c |........|.....*.<|
|00000540| 12 ff ff ff ff 00 00 00 | 01 00 00 00 00 00 00 00 |........|........|
|00000550| 0a 00 00 01 90 2a 9e 3c | 12 00 0a 00 09 00 00 00 |.....*.<|........|
|00000560| 01 ff ff 00 00 00 00 00 | 0a 00 00 01 93 2a a1 ef |........|.....*..|
|00000570| 75 00 0a 00 06 00 00 00 | 00 ff ff 00 00 00 00 00 |u.......|........|
|00000580| 0a 00 00 01 94 2a a4 b8 | 43 00 0b 00 0c 00 01 00 |.....*..|C.......|
|00000590| 02 00 00 00 00 00 00 00 | 0b 00 00 01 96 2a a5 d7 |........|.....*..|
|000005a0| 49 00 0b 00 0e 00 00 00 | 00 ff ff 00 00 00 01 00 |I.......|........|
|000005b0| 0b 00 00 01 97 2a a6 04 | 6d 00 0b 00 0e 00 00 00 |.....*..|m.......|
|000005c0| 00 ff fe 00 00 00 00 00 | 0b 00 00 00 00 2a a4 f8 |........|.....*..|
|000005d0| 4b ff ff ff ff 00 00 00 | 02 00 00 00 00 00 00 00 |K.......|........|
|000005e0| 0c 00 00 01 99 2a a1 59 | ad 00 0c 00 0f 00 00 00 |.....*.Y|........|
|000005f0| 00 ff ff 00 00 00 01 00 | 0c 00 00 01 95 2a a4 f8 |........|.....*..|
|00000600| 4b 00 0c 00 0d 00 00 00 | 00 ff fe 00 00 00 00 00 |K.......|........|
|00000610| 0c 00 00 01 9a 2a a7 77 | 8f 00 0d 00 10 00 01 00 |.....*.w|........|
|00000620| 00 00 00 00 00 00 00 00 | 0d 00 00 01 9b 2a a7 79 |........|.....*.y|
|00000630| 71 00 0e 00 10 00 01 00 | 00 00 00 00 00 00 00 00 |q.......|........|
|00000640| 0e 63 73 2e 75 74 77 65 | 6e 74 65 2e 6e 6c 00 31 |.cs.utwe|nte.nl.1|
|00000650| 39 39 32 53 65 70 34 2e | 31 36 35 37 35 33 00 31 |992Sep4.|165753.1|
|00000660| 39 39 32 53 65 70 34 2e | 31 36 34 39 35 31 00 77 |992Sep4.|164951.w|
|00000670| 65 69 67 65 6c 65 2e 64 | 65 00 31 39 39 32 41 75 |eigele.d|e.1992Au|
|00000680| 67 33 30 2e 32 33 32 38 | 34 35 2e 31 35 32 39 00 |g30.2328|45.1529.|
|00000690| 66 72 69 67 61 74 65 2e | 64 6f 63 2e 69 63 2e 61 |frigate.|doc.ic.a|
|000006a0| 63 2e 75 6b 00 31 38 35 | 30 39 65 49 4e 4e 66 72 |c.uk.185|09eINNfr|
|000006b0| 6c 00 31 38 34 6c 30 39 | 49 4e 4e 35 69 69 00 73 |l.184l09|INN5ii.s|
|000006c0| 6f 6c 2e 64 65 61 6b 69 | 6e 2e 6f 7a 2e 61 75 00 |ol.deaki|n.oz.au.|
|000006d0| 33 39 37 37 00 64 6f 76 | 65 2e 6e 69 73 74 2e 67 |3977.dov|e.nist.g|
|000006e0| 6f 76 00 35 33 33 30 00 | 64 63 73 2e 67 6c 61 73 |ov.5330.|dcs.glas|
|000006f0| 67 6f 77 2e 61 63 2e 75 | 6b 00 42 74 79 42 4c 77 |gow.ac.u|k.BtyBLw|
|00000700| 2e 34 32 71 00 64 69 6d | 65 2e 63 73 2e 75 6d 61 |.42q.dim|e.cs.uma|
|00000710| 73 73 2e 65 64 75 00 35 | 32 36 39 36 00 74 69 64 |ss.edu.5|2696.tid|
|00000720| 2e 65 73 00 31 39 39 32 | 41 75 67 32 38 2e 31 32 |.es.1992|Aug28.12|
|00000730| 32 36 30 32 2e 31 37 38 | 30 31 00 6d 31 2e 63 73 |2602.178|01.m1.cs|
|00000740| 2e 6d 61 6e 2e 61 63 2e | 75 6b 00 35 39 35 35 00 |.man.ac.|uk.5955.|
|00000750| 66 72 65 79 72 00 6c 65 | 76 65 6c 74 2e 37 31 34 |freyr.le|velt.714|
|00000760| 39 31 31 38 34 30 00 70 | 72 6c 2e 70 68 69 6c 69 |911840.p|rl.phili|
|00000770| 70 73 2e 6e 6c 00 31 39 | 39 32 41 75 67 32 37 2e |ps.nl.19|92Aug27.|
|00000780| 30 38 34 33 31 37 2e 31 | 33 33 38 39 00 62 6f 68 |084317.1|3389.boh|
|00000790| 72 61 2e 63 70 67 2e 6f | 7a 2e 61 75 00 31 39 39 |ra.cpg.o|z.au.199|
|000007a0| 32 41 75 67 33 31 2e 31 | 30 30 37 34 39 2e 32 33 |2Aug31.1|00749.23|
|000007b0| 35 34 38 00 31 39 39 32 | 41 75 67 32 31 2e 31 33 |548.1992|Aug21.13|
|000007c0| 30 36 33 30 2e 34 39 39 | 38 00 31 39 39 32 41 75 |0630.499|8.1992Au|
|000007d0| 67 32 37 2e 30 37 33 35 | 35 39 2e 32 33 38 35 39 |g27.0735|59.23859|
|000007e0| 00 31 39 39 32 41 75 67 | 32 37 2e 30 37 32 33 32 |.1992Aug|27.07232|
|000007f0| 33 2e 32 33 36 37 32 00 | 73 6b 79 65 2e 64 63 73 |3.23672.|skye.dcs|
|00000800| 2e 65 64 2e 61 63 2e 75 | 6b 00 34 32 33 36 31 00 |.ed.ac.u|k.42361.|
|00000810| 69 62 6d 70 61 2e 61 77 | 64 70 61 2e 69 62 6d 2e |ibmpa.aw|dpa.ibm.|
|00000820| 63 6f 6d 00 31 39 39 32 | 41 75 67 32 35 2e 31 34 |com.1992|Aug25.14|
|00000830| 31 35 31 30 2e 32 38 31 | 38 30 00 76 65 6c 63 72 |1510.281|80.velcr|
|00000840| 6f 2e 76 65 6e 61 72 69 | 2e 63 73 2e 63 6d 75 2e |o.venari|.cs.cmu.|
|00000850| 65 64 75 00 41 4d 59 2e | 39 32 41 75 67 32 36 31 |edu.AMY.|92Aug261|
|00000860| 31 33 35 30 39 00 63 73 | 2e 70 73 75 2e 65 64 75 |13509.cs|.psu.edu|
|00000870| 00 42 74 4c 46 43 7a 2e | 43 7a 37 00 74 6e 63 6c |.BtLFCz.|Cz7.tncl|
|00000880| 75 73 2e 74 65 6c 65 2e | 6e 6f 6b 69 61 2e 66 69 |us.tele.|nokia.fi|
|00000890| 00 31 39 39 32 41 75 67 | 32 36 2e 30 39 31 32 30 |.1992Aug|26.09120|
|000008a0| 30 2e 31 00 6e 75 73 63 | 63 2e 6e 75 73 2e 73 67 |0.1.nusc|c.nus.sg|
|000008b0| 00 31 39 39 32 41 75 67 | 32 36 2e 30 33 32 31 34 |.1992Aug|26.03214|
|000008c0| 33 2e 31 32 37 37 33 00 | 69 72 61 75 6c 31 2e 69 |3.12773.|iraul1.i|
|000008d0| 72 61 2e 75 6b 61 2e 64 | 65 00 31 37 32 6f 38 30 |ra.uka.d|e.172o80|
|000008e0| 49 4e 4e 6b 32 6b 00 75 | 71 63 73 70 65 2e 63 73 |INNk2k.u|qcspe.cs|
|000008f0| 2e 75 71 2e 6f 7a 2e 61 | 75 00 39 39 33 37 00 ff |.uq.oz.a|u.9937..|
|00000900| ff 00 18 00 17 ff ff 00 | 15 ff ff 00 13 00 12 ff |........|........|
|00000910| ff 00 14 ff ff 00 16 ff | ff 00 11 ff ff 00 02 ff |........|........|
|00000920| ff 00 0d ff ff 00 0f ff | ff 00 0c ff ff 00 0b ff |........|........|
|00000930| ff 00 10 00 0e 00 0a 00 | 09 ff ff 00 08 ff ff 00 |........|........|
|00000940| 06 ff ff 00 07 ff ff 00 | 05 ff ff 00 04 ff ff 00 |........|........|
|00000950| 03 ff ff 00 00 ff ff 00 | 01 ff ff                |........|...     |
+--------+-------------------------+-------------------------+--------+--------+