ForSyDe.Shallow.StochasticLib
Select based synchronous process constructors
selMapSY
selScanlSY
selMealySY
selMooreSY
Elementary stochastic processes
sigmaUn
sigmaGe