CR-initiator2{i:l}(s) ==
A 
B: ["new"(m); "send"(data(m))] @ ["rcv"(<data(n), data(s)>)]
Definitions :
basic-seq-1-3: A B: pas[A; B; m; n; x],
append: as @ bs,
cons: [car / cdr],
mk-pa: n(v),
token: "$token",
sdata-pair: <d1, d2>,
atom-sdata: data(a),
nil: []
FDL editor aliases :
CR-initiator2
CR-initiator2\{i:l\}(s) == A {}\mrightarrow{} B: ["new"(m); "send"(data(m))] @ ["rcv"(<data(n), data(s)>)]
Date html generated:
2010_08_28-AM-11_47_09
Last ObjectModification:
2010_02_23-AM-11_07_29
Home
Index