Code in Stochastic π calculus

From OpenWetWare
Jump to navigationJump to search

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