pi-calculus-0.0.4: testing/client.pi
out(stdout,"Enter host:"); in(stdin,host);
out(stdout,"Enter port:"); in(stdin,port);
let ch = chan(host,port) in
let sch = {} in
out(stdout,sch);out(ch,sch);in(sch,msg);out(stdout,msg)
out(stdout,"Enter host:"); in(stdin,host);
out(stdout,"Enter port:"); in(stdin,port);
let ch = chan(host,port) in
let sch = {} in
out(stdout,sch);out(ch,sch);in(sch,msg);out(stdout,msg)