Publication:4861736

zbMath0845.68041MaRDI QIDQ4861736

Isi Mitrani, M. Rettelbach, A. Ost

Publication date: 15 September 1996

zbMATH Keywords

stochastic process algebras; spectral expansion solution method

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q65: Abstract data types; algebraic specification