Return to spin.ms.sp CVS log

Up to [Research Unix] / researchv10dc / vol2 / spin

Annotation of researchv10dc/vol2/spin/spin.ms.sp, revision 1.1.1.1

1.1       root        1: ack
                      2: Ain
                      3: Ain,Aout
                      4: Aout
                      5: AtoB
                      6: AtoB,BtoA
                      7: atttj
                      8: Aturn
                      9: bchmt
                     10: Bin,Bout
                     11: bool
                     12: BtoA
                     13: BtoA,AtoB
                     14: BtoC
                     15: Bturn
                     16: byte,byte
                     17: C.A.R
                     18: cbhmt
                     19: cbook
                     20: cc
                     21: ch
                     22: ch?a
                     23: ch?b
                     24: chan
                     25: child?result
                     26: chin?ack
                     27: chin?err
                     28: chin?nak
                     29: chout
                     30: csp
                     31: CtoA
                     32: CW
                     33: DBITSTATE
                     34: Dekker
                     35: del
                     36: dijkstra
                     37: dP
                     38: dV
                     39: e.g
                     40: E.W
                     41: err,0
                     42: expr1
                     43: expr1,expr2,expr3
                     44: expr1?name
                     45: expr1?name1
                     46: expr1?name1,name2
                     47: expr2
                     48: expr2,expr3
                     49: expr2,expr3,expr4
                     50: expr3,expr4
                     51: fi
                     52: foo
                     53: grep
                     54: hoare
                     55: holzmann
                     56: i.e
                     57: in,out,chin,chout
                     58: in?cargo
                     59: in?mt,md
                     60: in?next
                     61: init
                     62: int
                     63: large?cargo
                     64: len
                     65: Mbyte
                     66: Mbytes
                     67: md
                     68: mN
                     69: msg
                     70: msgtype
                     71: mt
                     72: mt,md
                     73: mtype
                     74: nak
                     75: name1
                     76: name2
                     77: name3
                     78: name?msgtype
                     79: namelist
                     80: nN
                     81: od
                     82: option1
                     83: option2
                     84: pan.b
                     85: pan.c
                     86: pan.h
                     87: pan.m
                     88: pan.t
                     89: pan.trail
                     90: pglrs
                     91: printf
                     92: proc
                     93: proctype
                     94: PROMELA
                     95: qname
                     96: qname?cons1,var2,cons2
                     97: qname?msg
                     98: qname?msgtype
                     99: qname?var
                    100: qname?var1
                    101: qname?var1,var2,var3
                    102: Recv
                    103: Rendez
                    104: rendez
                    105: sema
                    106: sema?p
                    107: sema?v
                    108: small?cargo
                    109: spin.examples
                    110: stackframes
                    111: tl
                    112: var2,var3
                    113: Vous
                    114: vous
                    115: wc
                    116: wN

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.