The limit view of infinite computations
| Autor: | Nils Klarlund |
|---|---|
| Rok vydání: | 2005 |
| Předmět: | |
| Zdroj: | CONCUR '94: Concurrency Theory ISBN: 9783540583295 CONCUR |
| DOI: | 10.1007/bfb0015019 |
| Popis: | We show how to view computations involving very general liveness properties as limits of finite approximations. This computational model does not require introduction of infinite nondeterminism as with most traditional approaches. Our results allow us directly to relate finite computations in order to infer properties about infinite computations. Thus we are able to provide a mathematical understanding of what simulations and bisimulations are when liveness is involved. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|