A Ruby-DSL for definition of processes in the sense of the mathematical PiCalculus (Process-references and real parallelity don't work yet). Requires Ruby 1.9. Experimental (was part of my academic studies).
Ruby
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
spec
alternative.rb
causality.rb
expression.rb
main.rb
parallelity.rb
pi_calculus.rb
restriction.rb