%0 Journal Article
%A Frutos Escrig, David De
%T Probabilistic Ianov's schemes
%D 1987
%@ 0304-3975
%U https://hdl.handle.net/20.500.14352/64800
%X We present probabilistic Ianov's schemes, studying their semantics and proving the equivalence between operational and denotational ones. We also study the equivalence of schemes relative to them; as usual all these equivalence problems are decidable, and we prove it giving the appropriate decision algorithms.
%~