TY  - JOUR
AU  - Frutos Escrig, David De
PY  - 1987
DO  - 10.1016/0304-3975(87)90027-2
SN  - 0304-3975
UR  - https://hdl.handle.net/20.500.14352/64800
T2  - Theoretical Computer Science
AB  - 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,...
LA  - eng
M2  - 67
PB  - Elsevier Science
TI  - Probabilistic Ianov's schemes
TY  - journal article
VL  - 53
ER  -