03mar02

rewrite in TEST1-LOOKUP : eecf aljcf sjcf cjcf .
rewrites: 686 in 50ms cpu (44ms real) (13720 rewrites/second)
result OConf: 
< eee : Transmitter | inQ(none),outQ(none) > 
< JL : JVM | oCtr(2),
 {
< JL . AttackSvc : SVC | state(update(update(attackData, mycall, "sam"),
    badcall, "sam")) > 
< JL . ssptk : SSPTK1 | idle,lookup(JL . lup) > 
< JL . csptk : CSPTK0 | idle,clientId(fakeId),lookup(JL . lup) > 
< JL . app : APP | idle,svcFound(b("GBPquote", JL . o(1))),mytk(JL . csptk),
    todo(none),done(result("GBPquote", fakeCall, reply(GBPdata, fakeCall,
    fakeId))) > 
< JL . lup : AttackerLookup | svcSet(proxyD(CSP1, svc(JS . o(0))) proxyD(CSP1,
    svc(JS . o(1)))),mySvcSet(proxyD(CSP1, svc(JL . o(0)))),attackeeSet(proxyD(
    CSP1, svc(JS . o(1)))),myCPTK(JL . csptk),mySPTK(JL . ssptk) > 
< JL . o(0) : SSP1 | idle,svc(JL . AttackSvc),sname("Attack") > 
< JL . o(1) : CSP1 | idle,svc(JS . o(0)),clientId(fakeId) > 
msg(JL . fred, JL . ssptk, registerReply)},ether(eee) > 
< JS : JVM | oCtr(2),
 {
< JS . GBPsvc : SVC | state(update(GBPdata, fakeCall, fakeId)) > 
< JS . USsvc : SVC | state(USdata) > 
< JS . ssptk : SSPTK1 | idle,lookup(JL . lup) > 
< JS . o(0) : SSP1 | idle,svc(JS . GBPsvc),sname("GBPquote") > 
< JS . o(1) : SSP1 | idle,svc(JS . USsvc),sname("USquote") > 
msg(JS . fred, JS . ssptk, registerReply) 
msg(JS . fred, JS . ssptk, registerReply)},ether(eee) > 
< JC : JVM | oCtr(1),
 {
< JC . csptk : CSPTK0 | idle,clientId("sam"),lookup(JL . lup) > 
< JC . app : APP | idle,svcFound(b("GBPquote", JC . o(0))),mytk(JC . csptk),
    todo(none),done(result("GBPquote", mycall, reply(attackData, mycall,
    "sam")) result("GBPquote", badcall, reply(update(attackData, mycall,
    "sam"), badcall, "sam"))) > 
< JC . o(0) : CSP1 | idle,svc(JL . o(0)),clientId("sam") >},ether(eee) >