ForSyDe.Shallow.StochasticLib

Select based synchronous process constructors

selMapSY

selScanlSY

selMealySY

selMooreSY

Elementary stochastic processes

sigmaUn

sigmaGe