/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / specific / thread

< prev

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 00 00 01 6b 00 00 01 7e | 00 00 02 f3 00 00 02 89 |...k...~|........|
|00000010| 00 0f 00 15 00 0f 00 10 | 00 10 00 00 00 01 00 01 |........|........|
|00000020| 00 02 00 01 00 02 00 01 | 00 01 00 01 00 01 00 02 |........|........|
|00000030| 00 01 00 01 00 01 00 01 | 00 01 00 01 44 61 76 69 |........|....Davi|
|00000040| 64 20 53 65 77 72 79 00 | 32 34 31 30 33 2d 6b 69 |d Sewry.|24103-ki|
|00000050| 6c 6f 76 00 4a 65 72 6f | 65 6e 20 76 61 6e 20 64 |lov.Jero|en van d|
|00000060| 65 20 4c 61 00 44 61 76 | 69 64 20 53 69 6d 73 00 |e La.Dav|id Sims.|
|00000070| 46 72 61 6e 63 6f 69 73 | 20 43 68 61 72 6c 6f 74 |Francois| Charlot|
|00000080| 00 52 6f 6c 66 20 4b 61 | 72 6c 73 73 6f 6e 00 54 |.Rolf Ka|rlsson.T|
|00000090| 68 6f 6d 61 73 20 4b 72 | 6f 70 66 00 41 6c 77 79 |homas Kr|opf.Alwy|
|000000a0| 6e 20 47 6f 6f 64 6c 6f | 65 00 41 6c 66 72 65 64 |n Goodlo|e.Alfred|
|000000b0| 20 59 61 75 00 53 74 65 | 70 68 65 6e 20 4d 61 72 | Yau.Ste|phen Mar|
|000000c0| 6b 20 41 75 73 00 54 6f | 6e 79 20 43 61 6e 74 00 |k Aus.To|ny Cant.|
|000000d0| 45 72 69 63 20 74 65 6e | 20 43 61 74 65 00 42 72 |Eric ten| Cate.Br|
|000000e0| 75 6e 6f 20 42 65 72 73 | 74 65 6c 00 41 72 6d 69 |uno Bers|tel.Armi|
|000000f0| 6e 20 5a 75 6e 64 65 6c | 00 41 6e 74 68 6f 6e 79 |n Zundel|.Anthony|
|00000100| 20 53 68 69 70 6d 61 6e | 00 4c 61 6d 70 6f 72 74 | Shipman|.Lamport|
|00000110| 00 46 6f 72 6d 61 6c 20 | 53 70 65 63 69 66 69 63 |.Formal |Specific|
|00000120| 61 74 69 6f 6e 73 20 69 | 6e 20 43 43 53 00 70 61 |ations i|n CCS.pa|
|00000130| 72 61 6c 6c 65 6c 20 70 | 72 6f 67 72 61 6d 6d 69 |rallel p|rogrammi|
|00000140| 6e 67 20 61 6e 64 20 73 | 70 65 63 69 66 69 63 61 |ng and s|pecifica|
|00000150| 74 69 6f 6e 20 74 6f 6f | 6c 73 00 53 75 72 76 65 |tion too|ls.Surve|
|00000160| 79 3a 20 46 6f 72 6d 61 | 6c 20 4d 65 74 68 6f 64 |y: Forma|l Method|
|00000170| 73 20 69 6e 20 45 64 75 | 63 61 74 69 6f 6e 00 53 |s in Edu|cation.S|
|00000180| 55 4d 4d 41 52 59 3a 20 | 73 70 65 63 69 66 79 69 |UMMARY: |specifyi|
|00000190| 6e 67 20 68 61 72 64 77 | 61 72 65 00 43 46 50 20 |ng hardw|are.CFP |
|000001a0| 47 49 2f 49 54 47 2d 57 | 6f 72 6b 73 68 6f 70 20 |GI/ITG-W|orkshop |
|000001b0| 28 47 65 72 6d 61 6e 29 | 00 43 68 61 69 72 20 69 |(German)|.Chair i|
|000001c0| 6e 20 43 6f 6d 70 75 74 | 65 72 20 53 63 69 65 6e |n Comput|er Scien|
|000001d0| 63 65 20 61 74 20 4c 75 | 6e 64 20 55 6e 69 76 65 |ce at Lu|nd Unive|
|000001e0| 72 73 69 74 79 00 46 6f | 72 20 53 74 65 76 65 20 |rsity.Fo|r Steve |
|000001f0| 41 75 73 74 69 6e 20 2d | 20 53 6f 72 72 79 20 66 |Austin -| Sorry f|
|00000200| 6f 72 20 74 68 65 20 6f | 74 68 65 72 73 00 53 69 |or the o|thers.Si|
|00000210| 67 70 6c 61 6e 20 61 72 | 74 69 63 6c 65 00 56 65 |gplan ar|ticle.Ve|
|00000220| 72 69 66 69 63 61 74 69 | 6f 6e 20 4d 65 74 68 6f |rificati|on Metho|
|00000230| 64 6f 6c 6f 67 79 20 46 | 6f 72 20 4c 4f 54 4f 53 |dology F|or LOTOS|
|00000240| 20 53 70 65 63 69 66 69 | 63 61 74 69 6f 6e 00 53 | Specifi|cation.S|
|00000250| 75 72 76 65 79 3a 20 46 | 6f 72 6d 61 6c 20 4d 65 |urvey: F|ormal Me|
|00000260| 74 68 6f 64 73 20 69 6e | 20 49 6e 64 75 73 74 72 |thods in| Industr|
|00000270| 79 00 73 75 6d 6d 61 72 | 79 20 6f 66 20 63 61 6c |y.summar|y of cal|
|00000280| 6c 20 66 6f 72 20 70 61 | 72 61 6c 6c 65 6c 20 70 |l for pa|rallel p|
|00000290| 72 6f 67 72 2e 20 65 6e | 76 69 72 6f 6e 6d 65 6e |rogr. en|vironmen|
|000002a0| 74 73 20 61 6e 64 20 73 | 70 65 63 69 66 69 63 61 |ts and s|pecifica|
|000002b0| 74 69 6f 6e 20 74 6f 6f | 6c 00 47 65 6e 65 73 69 |tion too|l.Genesi|
|000002c0| 73 20 5a 2d 54 6f 6f 6c | 00 57 68 65 72 65 20 69 |s Z-Tool|.Where i|
|000002d0| 73 20 56 65 72 69 6c 6f | 67 20 3f 00 4c 69 6e 65 |s Verilo|g ?.Line|
|000002e0| 61 72 20 61 6e 64 20 42 | 72 61 6e 63 68 69 6e 67 |ar and B|ranching|
|000002f0| 20 54 69 6d 65 20 54 65 | 6d 70 6f 72 61 6c 20 4c | Time Te|mporal L|
|00000300| 6f 67 69 63 00 51 75 65 | 73 74 69 6f 6e 73 20 6f |ogic.Que|stions o|
|00000310| 6e 20 6d 6f 64 75 6c 65 | 73 20 61 6e 64 20 73 74 |n module|s and st|
|00000320| 61 74 65 20 69 6e 20 42 | 53 49 20 56 44 4d 00 00 |ate in B|SI VDM..|
|00000330| 01 00 03 00 02 00 01 00 | 01 00 01 00 01 00 01 00 |........|........|
|00000340| 01 00 01 00 01 00 01 00 | 01 00 02 00 01 00 00 01 |........|........|
|00000350| 6b 00 00 00 01 00 01 00 | 00 00 00 01 6c 00 01 00 |k.......|....l...|
|00000360| 01 00 01 00 00 00 00 01 | 70 00 05 00 02 00 01 00 |........|p.......|
|00000370| 00 00 00 01 6f 00 08 00 | 01 00 01 00 00 00 00 01 |....o...|........|
|00000380| 73 00 09 00 01 00 01 00 | 00 00 00 01 72 00 0a 00 |s.......|....r...|
|00000390| 01 00 01 00 00 00 00 01 | 74 00 0b 00 01 00 01 00 |........|t.......|
|000003a0| 00 00 00 01 75 00 0c 00 | 01 00 01 00 00 00 00 01 |....u...|........|
|000003b0| 76 00 0d 00 01 00 01 00 | 00 00 00 01 77 00 0e 00 |v.......|....w...|
|000003c0| 01 00 01 00 00 00 00 01 | 7a 00 0f 00 01 00 01 00 |........|z.......|
|000003d0| 00 00 00 01 79 00 10 00 | 01 00 01 00 00 00 00 01 |....y...|........|
|000003e0| 7b 00 11 00 01 00 01 00 | 00 00 00 01 7c 00 12 00 |{.......|....|...|
|000003f0| 01 00 01 00 00 00 00 01 | 7d 00 14 00 01 00 01 00 |........|}.......|
|00000400| 00 00 00 01 6b 2a 89 12 | 84 00 00 00 00 00 01 00 |....k*..|........|
|00000410| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 2a 89 29 |........|.....*.)|
|00000420| b0 ff ff ff ff 00 00 00 | 02 00 00 00 00 00 00 00 |........|........|
|00000430| 01 00 00 01 6d 2a 89 09 | 59 00 01 00 02 00 00 00 |....m*..|Y.......|
|00000440| 00 ff ff 00 00 00 01 00 | 01 00 00 01 6c 2a 89 29 |........|....l*.)|
|00000450| b0 00 01 00 01 00 00 00 | 01 ff fe 00 00 00 00 00 |........|........|
|00000460| 01 00 00 01 6e 2a 8a 1a | ab 00 01 00 02 00 00 00 |....n*..|........|
|00000470| 00 ff ff 00 00 00 00 00 | 01 00 00 00 00 2a 8a 17 |........|.....*..|
|00000480| 4c ff ff ff ff 00 00 00 | 01 00 00 00 00 00 02 00 |L.......|........|
|00000490| 02 00 00 01 70 2a 8a 17 | 4c 00 02 00 04 00 00 00 |....p*..|L.......|
|000004a0| 00 ff ff 00 00 00 00 00 | 02 00 00 01 78 2a 8f ac |........|....x*..|
|000004b0| ed 00 02 00 09 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004c0| 02 00 00 01 6f 2a 8a 73 | 4f 00 03 00 03 00 05 00 |....o*.s|O.......|
|000004d0| 00 00 00 00 00 00 00 00 | 03 00 00 01 73 2a 8b 5d |........|....s*.]|
|000004e0| 9d 00 04 00 06 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|000004f0| 04 00 00 01 72 2a 8b a6 | 02 00 05 00 05 00 05 00 |....r*..|........|
|00000500| 00 00 00 00 00 00 00 00 | 05 00 00 01 74 2a 8b ec |........|....t*..|
|00000510| 60 00 06 00 04 00 01 00 | 00 00 00 00 00 00 00 00 |`.......|........|
|00000520| 06 00 00 01 75 2a 8c 6a | d5 00 07 00 07 00 01 00 |....u*.j|........|
|00000530| 00 00 00 00 00 00 00 00 | 07 00 00 01 76 2a 8f 74 |........|....v*.t|
|00000540| f5 00 08 00 08 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000550| 08 00 00 01 77 2a 8f ac | b0 00 09 00 09 00 01 00 |....w*..|........|
|00000560| 00 00 00 00 00 00 00 00 | 09 00 00 01 7a 2a 93 46 |........|....z*.F|
|00000570| 0c 00 0a 00 0b 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000580| 0a 00 00 01 79 2a 93 d0 | a1 00 0b 00 0a 00 05 00 |....y*..|........|
|00000590| 00 00 00 00 00 00 00 00 | 0b 00 00 01 7b 2a 93 e8 |........|....{*..|
|000005a0| 0f 00 0c 00 0c 00 01 00 | 00 00 00 00 00 00 00 00 |........|........|
|000005b0| 0c 00 00 01 7c 2a 94 e4 | 40 00 0d 00 0d 00 01 00 |....|*..|@.......|
|000005c0| 01 00 00 00 00 00 00 00 | 0d 00 00 01 7e 2a 95 76 |........|....~*.v|
|000005d0| d4 00 0d 00 0f 00 00 00 | 00 ff ff 00 00 00 00 00 |........|........|
|000005e0| 0d 00 00 01 7d 2a 94 ea | 56 00 0e 00 0e 00 01 00 |....}*..|V.......|
|000005f0| 00 00 00 00 00 00 00 00 | 0e 73 72 63 2e 64 65 63 |........|.src.dec|
|00000600| 2e 63 6f 6d 00 31 39 39 | 32 41 75 67 32 31 2e 32 |.com.199|2Aug21.2|
|00000610| 33 30 35 35 36 2e 39 38 | 36 31 00 62 6f 68 72 61 |30556.98|61.bohra|
|00000620| 2e 63 70 67 2e 6f 7a 2e | 61 75 00 31 39 39 32 41 |.cpg.oz.|au.1992A|
|00000630| 75 67 32 31 2e 31 33 30 | 36 33 30 2e 34 39 39 38 |ug21.130|630.4998|
|00000640| 00 63 61 72 69 2e 74 65 | 6c 65 63 6f 6d 2e 75 71 |.cari.te|lecom.uq|
|00000650| 61 6d 2e 63 61 00 31 39 | 39 32 41 75 67 32 30 2e |am.ca.19|92Aug20.|
|00000660| 31 38 34 34 33 31 2e 31 | 34 38 33 00 67 61 6c 61 |184431.1|483.gala|
|00000670| 78 79 00 74 65 6e 63 61 | 74 65 2e 37 31 34 32 39 |xy.tenca|te.71429|
|00000680| 34 37 39 36 00 64 73 74 | 6f 73 33 2e 64 73 74 6f |4796.dst|os3.dsto|
|00000690| 2e 67 6f 76 2e 61 75 00 | 31 39 39 32 41 75 67 32 |.gov.au.|1992Aug2|
|000006a0| 30 2e 31 31 30 34 33 34 | 2e 31 36 34 33 37 32 00 |0.110434|.164372.|
|000006b0| 6e 75 6d 62 61 74 00 73 | 38 39 37 34 36 31 2e 37 |numbat.s|897461.7|
|000006c0| 31 34 30 34 34 36 36 31 | 00 67 6d 75 76 61 78 32 |14044661|.gmuvax2|
|000006d0| 2e 67 6d 75 2e 65 64 75 | 00 31 39 39 32 41 75 67 |.gmu.edu|.1992Aug|
|000006e0| 31 35 2e 30 32 32 34 32 | 31 2e 32 36 38 36 00 69 |15.02242|1.2686.i|
|000006f0| 72 61 75 6c 31 2e 69 72 | 61 2e 75 6b 61 2e 64 65 |raul1.ir|a.uka.de|
|00000700| 00 31 37 32 6f 38 30 49 | 4e 4e 6b 32 6b 00 31 36 |.172o80I|NNk2k.16|
|00000710| 66 6d 69 74 49 4e 4e 71 | 37 73 00 6c 74 68 2e 73 |fmitINNq|7s.lth.s|
|00000720| 65 00 31 39 39 32 41 75 | 67 31 34 2e 31 32 32 34 |e.1992Au|g14.1224|
|00000730| 33 34 2e 32 39 35 30 38 | 00 73 65 67 2e 6e 70 6c |34.29508|.seg.npl|
|00000740| 2e 63 6f 2e 75 6b 00 31 | 39 39 32 41 75 67 31 37 |.co.uk.1|992Aug17|
|00000750| 2e 31 33 34 33 30 39 2e | 31 34 31 36 30 00 31 39 |.134309.|14160.19|
|00000760| 39 32 41 75 67 31 37 2e | 31 33 34 32 30 38 2e 31 |92Aug17.|134208.1|
|00000770| 34 31 30 33 00 31 39 39 | 32 41 75 67 31 30 2e 31 |4103.199|2Aug10.1|
|00000780| 36 32 31 35 31 2e 31 32 | 32 39 37 00 73 75 6e 33 |62151.12|297.sun3|
|00000790| 2e 6c 72 69 2e 66 72 00 | 31 39 39 32 41 75 67 31 |.lri.fr.|1992Aug1|
|000007a0| 34 2e 31 39 32 34 34 38 | 00 31 39 39 32 41 75 67 |4.192448|.1992Aug|
|000007b0| 31 33 2e 31 30 30 33 32 | 34 00 62 61 62 62 61 67 |13.10032|4.babbag|
|000007c0| 65 2e 65 63 65 2e 75 63 | 2e 65 64 75 00 31 39 39 |e.ece.uc|.edu.199|
|000007d0| 32 41 75 67 31 33 2e 31 | 34 33 35 35 39 2e 31 39 |2Aug13.1|43559.19|
|000007e0| 36 36 36 00 63 73 2e 75 | 74 77 65 6e 74 65 2e 6e |666.cs.u|twente.n|
|000007f0| 6c 00 31 39 39 32 41 75 | 67 31 33 2e 31 30 31 37 |l.1992Au|g13.1017|
|00000800| 34 38 00 31 39 39 32 41 | 75 67 31 32 2e 31 34 35 |48.1992A|ug12.145|
|00000810| 31 33 37 00 77 65 69 67 | 65 6c 65 2e 64 65 00 31 |137.weig|ele.de.1|
|00000820| 39 39 32 41 75 67 31 31 | 2e 30 36 35 38 33 33 2e |992Aug11|.065833.|
|00000830| 33 34 36 35 00 70 6f 72 | 74 68 6f 73 2e 63 63 2e |3465.por|thos.cc.|
|00000840| 62 65 6c 6c 63 6f 72 65 | 2e 63 6f 6d 00 31 39 39 |bellcore|.com.199|
|00000850| 32 41 75 67 31 32 2e 31 | 35 30 39 33 36 2e 31 36 |2Aug12.1|50936.16|
|00000860| 31 38 34 00 61 6c 70 68 | 61 2e 72 75 2e 61 63 2e |184.alph|a.ru.ac.|
|00000870| 7a 61 00 63 73 64 73 2e | 37 31 33 36 32 36 32 34 |za.csds.|71362624|
|00000880| 34 00 ff ff 00 13 ff ff | 00 14 ff ff 00 11 ff ff |4.......|........|
|00000890| 00 0f ff ff 00 10 ff ff | 00 0d ff ff 00 0c ff ff |........|........|
|000008a0| 00 12 00 09 ff ff 00 0a | ff ff 00 07 00 0e 00 05 |........|........|
|000008b0| ff ff 00 0b 00 06 ff ff | 00 08 ff ff 00 04 00 02 |........|........|
|000008c0| ff ff 00 01 ff ff 00 03 | ff ff 00 00 ff ff       |........|......  |
+--------+-------------------------+-------------------------+--------+--------+