This is a log for my thesis study on Stochastic Pi-Calculus Machine (SPiM). One thing that disturbs me a lot is there is no global variable in  SPiM. My method is to define a process that broadcast a value on some global channel all the time, so any other processes can inquire this value by [...]

This is a log for my thesis study on Stochastic Pi-Calculus Machine (SPiM). Here is a sample code for implementing hill-type equation in SPiM: directive sample 10.0 1000 directive plot sender();receiver() directive graph new comm@1.0:chan(float) let sender(n:float) = ( !comm(n); sender(n/2.0) ) and receiver() = ( do delay@1.0; receiver() or ?comm(n); delay@n ) run (sender(1.0)|500 [...]