Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6876352 | Theoretical Computer Science | 2012 | 5 Pages |
Abstract
A system T is defined as implementing a system S if every infinite execution of T leads to the same observations as some infinite execution of S. System T implements S finitely if every finite execution of T leads to the same observations as some finite execution of S. It is proved that, under certain conditions on the implemented system, finite implementation implies implementation. The proof uses König's lemma. It is shown that the conditions are essential.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Wim H. Hesselink, Gerard R. Renardel de Lavalette,