Título: | Probabilistic Ianov's schemes |
Autores: | Frutos Escrig, David de |
Tipo de documento: | texto impreso |
Editorial: | Elsevier Science, 1987 |
Dimensiones: | application/pdf |
Nota general: | info:eu-repo/semantics/restrictedAccess |
Idiomas: | |
Palabras clave: | Estado = Publicado , Materia = Ciencias: Informática , Tipo = Artículo |
Resumen: | 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. |
En línea: | https://eprints.ucm.es/id/eprint/20772/1/Frutos33elsevier.pdf |
Ejemplares
Estado |
---|
ningún ejemplar |