Code in Stochastic π calculus

Return to home page

Return to Diffusible Signal Oscillator

Code in Stochastic π Calculus

g(a,b)= ?a. g'.(a,b) + Ʈt. (P(b)|g(a,b) g'(a.b)= Ʈu . g(a,b) P(b)= !b . P(b) + Ʈd . 0 g(b,c)= ?b . g'(b,c) + ?e.Ʈt . (P(b)|GFP|g(a,b)) g'(b,c)= Ʈu . (P(c)|g(b,c)|) P(c)= !c . P(c) + Ʈd . 0 GFP= Ʈd . 0 g(c,a)= ?c . g'(c,a) + ?f.Ʈt . (P(a)|RFP|g(c,a) g'(c,a)= Ʈu. (P(a)|RFP|g(c,a)) P(a)= !a. P(a) + Ʈd. 0 RFP=Ʈd. 0 X= Ʈt. (P(e)|P(f)|X) P(e)= !e. P(e) + Ʈd. 0 P(f)= !f. P(f) + Ʈd. 0