Go to Deriscope's documentation start page

Stoch_Process

Stoch Process is an abstract direct subtype of Probability Measure with functions Stoch Process Functions and direct subtypes Stoch Process subtypes that represents a generic stochastic process.