Probabilistic Ianov's schemes
| dc.contributor.author | Frutos Escrig, David De | |
| dc.date.accessioned | 2023-06-21T02:04:44Z | |
| dc.date.available | 2023-06-21T02:04:44Z | |
| dc.date.issued | 1987 | |
| dc.description | This paper is an extended version of the one with the same title that was presented at CAAP-86, and that appeared in Lecture Notes of Computer Science 214, (Springer, Berlin, 1986). | |
| dc.description.abstract | 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 |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20772 | |
| dc.identifier.citation | Frutos Escrig, D. «Probabilistic Ianov’s Schemes». Theoretical Computer Science, vol. 53, n.o 1, 1987, pp. 67-97. DOI.org (Crossref), https://doi.org/10.1016/0304-3975(87)90027-2. | |
| dc.identifier.doi | 10.1016/0304-3975(87)90027-2 | |
| dc.identifier.issn | 0304-3975 | |
| dc.identifier.officialurl | https//doi.org/10.1016/0304-3975(87)90027-2 | |
| dc.identifier.relatedurl | http://www.sciencedirect.com/science/article/pii/0304397587900272 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/64800 | |
| dc.issue.number | 1 | |
| dc.journal.title | Theoretical Computer Science | |
| dc.language.iso | eng | |
| dc.page.final | 97 | |
| dc.page.initial | 67 | |
| dc.publisher | Elsevier Science | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Probabilistic Ianov's schemes | en |
| dc.type | journal article | |
| dc.volume.number | 53 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | fc861853-ad02-4152-b8b0-e0a8df6080dc |
Download
Original bundle
1 - 1 of 1