chrisbanks/cpiwb — Issue #3: Re-ordering of process terms
Author: chrisbanks
Created: 2011-11-25 16:07:16+00:00
State: open

CPiWB:> species A(a) = {u-v@1}(a

.0)
A(a) = (new u,v) a

.0
CPiWB:> species B(b) = {u-v@1}(b(x).u.0|v.P())
B(b) = (new u,v) b(x).u.0 | v.P()
CPiWB:> species P() = 0
P() = 0
CPiWB:> process Pi = [1]A(a)||[1]B(b):{a-b@1}
Pi = [1.0] A(a) || [1.0] B(b)
CPiWB:> trans Pi
(new u,v) (new u,v) u.0 | v.P() ---tau@<1.0>--> P()
B(b) ---b--> (new u,v) (;x)u.0 | v.P()
A(a) ---a--> (new u,v) (u;)0

CPiWB:> clear
CPiWB:> env

CPiWB:> species A(a) = {u-v@1}(a

.0)
A(a) = (new u,v) a

.0
CPiWB:> species B(b) = {u-v@1}(b(x).u.0|v.P())
B(b) = (new u,v) b(x).u.0 | v.P()
CPiWB:> species P() = 0
P() = 0
CPiWB:> process Pi = [1]B(b)||[1]A(a):{a-b@1}
Pi = [1.0] B(b) || [1.0] A(a)
CPiWB:> trans Pi
A(a) ---a--> (new u,v) (u;)0
B(b) ---b--> (new u,v) (;x)u.0 | v.P()

CPiWB:>