Randomized formal systems for specifying discrete stochastic models

Kleinrock, 1976 Courtois, 1977 Paul, 1984, An approach towards a universal specification language for discrete stochastic systems Paul, 1981, Stochastische Zustandsübergangsmodelle und strategisierte formale Systeme Wallace, 1972, Towards an algebraic theory of Markovian networks, Proc. Symp. on Computer-Communication-Networks and Teletraffic, 397 Salomaa, 1973 Brainerd, 1974 Peterson, 1977, Petri nets, Comput. Surveys, 9, 223, 10.1145/356698.356702 Cinlar, 1975 Hinderer, 1970, Foundations of nonstationary dynamic programming with a discrete time parameter Fu, 1974