...
Server(x,y) = (x(z).Answer(z)Server(x,y)) + (y().(νu)(Client(u,x)Answer(u)New(y)Server(x,y))) Client(u,x) = u().(Client(u,x)Request(x,u)) Answer(u) = u¯().0 New(y) = y¯().0 Request(x,u) = x¯(u).0